add core.checkedint
Merge pull request #839 from WalterBright/checkedint

add core.checkedint