test_double: 12345.700000