F ROTFLOAT.DTX;1 rotfloat.dtx F ROTFLOAT.INS;1 rotfloat.ins