Moving integer division to floating-point is trivial
Summary
The article argues that moving some integer division and modulo operations to floating-point arithmetic can be beneficial on modern hardware due to lower latency and higher throughput. It discusses the necessary math, rounding modes, practical caveats, SIMD advantages, and references to libdivide and formal verification of floating-point-based division.