Clarify them ratios
Ack, a bug in Tinker's! What do?!

This bugfix is probably a bit more fragile than it should be (e.g.
doesn't verify that the cast actually *is* an IPattern, not null,
that kind of thing), but it should hold for now.