add core.checkedint