F FLOAT.DTX;1                       	float.dtx
F FLOAT.INS;1                       	float.ins