Create floatingpoint.h