floatingpoint.h revision 6bef4df5
1