JanWielemaker
commented
1 day ago Thanks for spotting. Removed the claim. As the long term aim is still to change the default, no claim is more robust :smile:
Closed dsletten closed 1 day ago
JanWielemaker
commented
1 day ago Thanks for spotting. Removed the claim. As the long term aim is still to change the default, no claim is more robust :smile:
Section 4.27.2.2 Rational number examples states that prefer_rationals is true by default. However, section 2.12 reports that the default is false.