ENH: Use double-precision library to print floating point numbers