bounded. C++20 class template for a value bounded by a compile-time constant