I'm getting constraint failure messages like
6.288887928086567e-05% (20 out of 31802125)
and
1.0073226238812658% (320350 out of 31802125)
In both cases, using fewer decimal places would be nice I think. At the very least we shouldn't be showing scientific notation + % IMO.
For the counts, I think it would be nice to display them like Python does, ie. 320_350 out of 31_802_125.