Printing Floating Point Numbers An Always Correct Method (fp printing popl16)

C o n si sten t * Complete* W e ll D o cu m ented*Easyt o Reu se * *E valuated* P O P L *Ar tifact* A E CPrinting Floating-Point Numbers An Always Correct MethodMarc Andrysco University of California, San Diego, USAandrysco@cs.ucsd.eduRanjit Jhala University of California, San Diego, USAjhala@cs.ucsd.eduSorin Lerner University of California, San Diego, USAlerner@cs.ucsd.eduAbstract Floating-point numbers are an essential part of modern software, recently gaining particular prominence on the web