[Bug 3667] New: floating point error