Robert G. Burger R. Kent Dybvig Printing Floating-Point Numbers Quickly and Accurately. 108-116 1996 PLDI db/conf/pldi/pldi96.html#BurgerD96