Simplify checkNat.