tcc -e 'printf("%g\n"1.0/3.0*3.0)'