Deal with float/double confusion

[efyang]

Usually sprinkled fairly randomly. Need to decide on one.

[maueroats]

Ugh. Double it should be unless FTC has also made annoying choices.

…

On Feb 6, 2018, at 11:05 PM, Edward Yang ***@***.***> wrote: Usually sprinkled fairly randomly. Need to decide on one. — You are receiving this because you are subscribed to this thread. Reply to this email directly, view it on GitHub, or mute the thread.