let mk_(z,aa) = if a >= b
                then mk_(a div b, a mod b)
                else mk_(0,a)
in
  if aa = 0 or 2 * aa <= b
     then z
  else z + 1