print "12345.777", "\n";
print unpack "d", pack "d", +12345.777;

12345.777
12345.777