\a b -> b == zero || b * (a `div` b) + (a `mod` b) == a
>>> 3 `divMod` 2 (1,1)
>>> (-3) `divMod` 2 (-2,1)
>>> (-3) `quotRem` 2 (-1,-1)
fromIntegral a == a
toIntegral a == a