Temporary workaround for the fact that std::num::Orderable is now removed

This will fix the build. std::num::Orderable is removed.

This will need to be revisited when https://github.com/mozilla/rust/issues/12068 is fixed.