[Bug 3667] floating point error