HomeIsabelle/Phabricator

Only check range of int and unsigned if necessary.