Definition at line 11 of file float1.c.
Definition at line 14 of file float1.c.
Definition at line 13 of file float1.c.