Fixed problem with rounding large fractions.
Merge branch 'experiment' of https://github.com/avigad/polya into experiment