Update float.h generator