floatingpoint.h revision 8793135f
1