Andrew Gierth b721e201a0 Fix editing error in floating-point docs.
My fault; the error was introduced in the Ryu patch.
2019-05-11 03:23:55 +01:00
..