Integer Division by Constants: Optimal Bounds. - Daniel Lemire; Colin Bartlett; Owen Kaser (CoRR, 2020)