let unbox_int_exp (e : exp) : int64 = match isInteger e with None -> raise Not_an_integer | Some (x) -> x