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