Add a ratio generator

It's an fmap over a pair of integers.