One fish, two fish

In a brief follow up to my earlier note, for you maths grognards out there, Ridiculous Fish has improved his fast maths integer division algorithm - proof included.