Constant folding for Integer (Fixes #12)