floatingpoint.h revision 136956ed
1