Apply number rule for Type constraint with a number type