This is a workaround when an outdated float.h is included first (mingw issue).