Moving integer division to floating-point is trivial

Floating-point arithmetic can simplify integer division, as it demonstrates that the truncation of x/y in floating-point form yields the same result as traditional integer division, given the values fit within the floating-point limits. This insight could streamline calculations in various programming scenarios.