These can just use the _t variant of make_unsigned, which eliminates the need to pull the type from the ::type member type.