floatingpoint.h revision 511dab62
1