ratio-monoid