Unless profiling clearly shows that integer division is the bottleneck and all other means have been exhausted, the floating-point migration trick should not be adopted lightly.