While I'm still not a fan of changing the current behavior for subnormals, I will follow consensus and update the MR accordingly.
Note that with just the compare_uint change, while it does leave 0.0 and -0.0 comparing equal, and makes positive/negative subnormals compare unequal, for comparisons of pos/neg subnormals with pos/neg 0 the results seem a bit erratic.