{t_real_number -1}
{t_real_number 1}
{t_real_number +1}
{t_real_number -0}
{t_real_number 0}
{t_real_number +0}
{t_real_number -.1}
{t_real_number .1}
{t_real_number +.1}
{t_real_number -0.1}
{t_real_number 0.1}
{t_real_number +0.1}
{t_real_number -1.5}
{t_real_number 1.5}
{t_real_number +1.5}
{t_real_number -0e9}
{t_real_number 0e9}
{t_real_number +0e9}
{t_real_number -1.2e5}
{t_real_number 1.2e5}
{t_real_number +1.2e5}
{t_real_number -1.2e-5}
{t_real_number 1.2e-5}
{t_real_number +1.2e-5}
{t_real_number 0xfacebeef}
{t_real_number 0723414}