Game server: ensure we include the float header so that we can access FLT_MAX.