let unsigned_in_bound b z opt_z def_z =
  let bz = Big_int.big_int_of_string z in
  if (Big_int.le_big_int Big_int.zero_big_int bz && Big_int.lt_big_int  bz b)
  then opt_z else def_z