Issue #1811: Improve accuracy and consistency of true division for integers.