let from_zs num den = div (from_z num) (from_z den)