Create floatpoint.h