It’s only possible to do that if your positive integers are passed via template parameters.

All your type traits/SFAINE/concepts/static_asserts happen at compile time, you can’t use them to do any checks on the value of a type, unless it’s a value available at compile time.