let
of_int i =
if
0 <= i
&&
i <= 32
then
small_nums.(i)
else
big_int_of_int i