printf("%f\n", -3.0);