DEFINITION MODULE Float;

EXPORT QUALIFIED float;

PROCEDURE float (instr : CARDINAL);
END Float.
