Add rounding for Sybil float tests

This is a lot more readable, at the cost of another distraction.

The GitHub test runner was getting slightly different float answers in some cases. Rounding should fix those.