poset: Add instance for Integral a => Ratio a.