On 3/28/19 2:59 PM, Justin Pryzby wrote:
> Following the dicussion here,
> https://www.postgresql.org/message-id/flat/CAD21AoB9%2By8N4%2BFan-ne-_7J5yTybPttxeVKfwUocKp4zT1vNQ%40mail.gmail.com#90a8316b1e643532e1cdb352c91c22a7
>
> I'm proposing these changes to clean up docs for previous (more or less
> unrelated) commit.
I intended to fix misusage of mixing 0 and 1.0. I will be more careful.
Thanks for taking the point and other fixes!