Floating-point division working