Depends on #882. Once we know it is `PartialOrd`, I think this pretty much comes down to whether the type contains a float or not.
