DEFINITION MODULE MODF; EXPORT QUALIFIED MODF; (* THIS MODULE SETS UP THE MODF INSTRUCTION. IT RELIES ON THE NON USE OF FLOATING ACCUMULATORS 2 AND 3 *) PROCEDURE MODF( A, B :REAL; VAR C, D:REAL); END MODF.