floatingpoint.h revision bf69d84c
1