printf("%g\n", (3 + 3.1415926535));