| ExStr (_, str) -> IExpr_str str
| ExInt (_, i) -> IExpr_int (big_int_of_string i) (* XXX too large? *)
| ExFlo (_, f) -> IExpr_float (float_of_string f)
| ExStr (_, str) -> IExpr_str str
| ExInt (_, i) -> IExpr_int (big_int_of_string i) (* XXX too large? *)
| ExFlo (_, f) -> IExpr_float (float_of_string f)