>>785
printf("%g\n", 4.0);