• Tom Lane's avatar
    Fix precision and rounding issues in money multiplication and division. · d761fe21
    Tom Lane authored
    The cash_div_intX functions applied rint() to the result of the division.
    That's not merely useless (because the result is already an integer) but
    it causes precision loss for values larger than 2^52 or so, because of
    the forced conversion to float8.
    
    On the other hand, the cash_mul_fltX functions neglected to apply rint() to
    their multiplication results, thus possibly causing off-by-one outputs.
    
    Per C standard, arithmetic between any integral value and a float value is
    performed in float format.  Thus, cash_mul_flt4 and cash_div_flt4 produced
    answers good to only about six digits, even when the float value is exact.
    We can improve matters noticeably by widening the float inputs to double.
    (It's tempting to consider using "long double" arithmetic if available,
    but that's probably too much of a stretch for a back-patched fix.)
    
    Also, document that cash_div_intX operators truncate rather than round.
    
    Per bug #14663 from Richard Pistole.  Back-patch to all supported branches.
    
    Discussion: https://postgr.es/m/22403.1495223615@sss.pgh.pa.us
    d761fe21
money.out 8.58 KB