De-orphan the Eq/Ord Integer instances