Instance Expr for Integers