Floating-point Division Bug