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