floatingpoint.h revision 3df12909
1