float_disf.c revision 1.5
1