FLT_MAX fix for Travis CI