ratio-int-0.1: Fast specialisation of Data.Ratio for Int. (Index)

ratio-int-0.1: Fast specialisation of Data.Ratio for Int.

Index

%	Data.RatioInt
denominator	Data.RatioInt
numerator	Data.RatioInt
RatioInt	Data.RatioInt