https://stackoverflow.com/questions/41183935/why-does-gcc-use-multiplication-by-a-strange-number-in-implementing-integer-divi
and
https://stackoverflow.com/questions/30790184/perform-integer-division-using-multiplication
have multiple discussions of the technique for machine division
invariant (small) ints and GCC's use thereof (only suppressed with -0s?).