@robinhouston @Andrew_Taylor see p14 of "How Java's floating-point hurts everyone everywhere" cs.berkeley.edu/~wkahan/JAVAhu…