Interesting. I glanced through them, and it's impressive how much is there.
Offsetting the denominator by one (so that 0 is impossible) is a clever
idea. Didn't spend enough time with it to figure out whether/how it
could be fixed.
I'm OK with checking in stuff which isn't fully developed (especially if
it verifies), so no worries on that score. The comment at the top
summarizing the state of the file is helpful.
> You received this message because you are subscribed to the Google
> Groups "Ghilbert" group.
> To unsubscribe from this group and stop receiving emails from it, send
> an email to ghilbert+u...@googlegroups.com
> For more options, visit https://groups.google.com/groups/opt_out