pub const FINER_FACTOR: f64 = _; // 9.765625E-4f64Expand description
What a boolean read within tolerance, as
ReferenceExactCompiler::compile_exact_with_report reports it (#236).
The ratio of the tolerance a refused boolean is cut again at to the
caller’s (#332): 2^-10, about a micrometre under a millimetre.
Readings within the caller’s tolerance make features closer than it one
(#228); two such features further apart than rounding (the sides of two
abutting openings a few micrometres to just under a millimetre apart,
a box tangent to a curved face) can leave no reading that every face
pair agrees with, and the boolean is refused. At this fraction of the
tolerance such features are apart, decided by the exact predicates,
while the readings still cover what they exist for: the rounding of
separately placed operands, orders of magnitude below it.
BooleanReport::finer says when a result was cut so.