A patch for rounding error (Bug #32302)