Division via fixed-point multiplication by inverse
