Floating-Point Division Is Real