This file is for use with the DECL package. It defines the DECLOF properties for a variety of arithmetic functions (ADD1, QUOTIENT, RAND, etc.) --Ron Kaplan