Allow restricting subtypes of number without casts