pub fn order_is_unsigned<W: Word>(a: W, b: W) -> bool
Ord is the order of unsigned integers: the highest bit where two words differ decides. A derived order on limbs gets this wrong, which is how the law came to be.
Ord