Mark Dickinson bd15a06fd3 Issue #7117, continued: Change round implementation to use the correctly-rounded ...

string <-> float conversions;  this makes sure that the result of the round
operation is correctly rounded, and hence displays nicely using the new float
repr.

2009-11-18 19:33:35 +00:00

5.4 KiB

Raw Permalink Blame History

View Raw