Added IntToExpr casting.