floatingpoint.h revision 50f44fa0
1