constexpr constrained_value