let const_expr_of_big_int i ~loc = 
  make_expr_l (PexpConstant (convert_constant (CTTconstInteger i))) ~loc