How is that zero cost? There's a blatantly obvious opportunity cost when you remove the associative and commutative properties.
For example there's a slow looking if statement in there:
if ((_is_neg() && _storage < usmin) ||
(!_is_neg() && _storage > usmax))
But in theory an optimizing compiler could remove it entirely since it can never be true (on C++20 or above).Whether the compiler does this in practice depends on a variety of factors, but in general they're fairly good at spotting "obvious" optimizations.