Optimization catalog. When float division beats integer division

A counterintuitive hot-path optimization from my Go work: swapping integer division (IDIVQ) for floating-point division (DIVSD) to divide integers faster.