log tests/float.urs

age author description
2011-05-31 Adam Chlipala Proper C pretty-printing of floats in scientific notation