Add simple (stupid) generator of float.h