-
Matthias Clasen authored
We can now format doubles as mixed fractions, so no need for this extra complication anymore. Just drop GrNumber.
01b489c5
We can now format doubles as mixed fractions, so no need for this extra complication anymore. Just drop GrNumber.