Printing floating point numbers is surprisingly hard!!