let ni = Num.num_of_int
let rec exp () =
 let h,t = integral exp () in h +/ ni 1, t