-default is ``1e-7``, so we use that. Where we need to be more lenient,
-we'll have to adjust it.
+default is ``1e-7``, but loosening that a little reduces the number of
+"unknown" solutions that we get during random testing. Whether or not it
+improves the solubility of real problems is a question for the
+philosophers.