float_disf.c revision 1.2
1