Temporary workaround for the fact that std::num::Orderable is now removed.
Merge pull request #44 from csherratt/master

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