let constant_exp_of_big_int ~loc i = 
  make_expr_l (PexpConstant(PconstInteger (string_of_big_int i))) ~loc