rust-lang/rust — pull request #18795 by haberman (2014-11-09 03:36:15+00:00)
Title: Make Int inherit from Ord.

Previously Int inherited from PartialOrd (via Primitive)
but not Ord. But integers have a total order, so
inheriting from Ord is appropriate. Fixes #18776.