Constant ROUNDING_FACTOR 

pub const ROUNDING_FACTOR: f64 = _; // 9.0949470177292824E-13f64

What a boolean read within tolerance, as ReferenceExactCompiler::compile_exact_with_report reports it (#236). The rounding floor relative to the operands’ extent: 2^-40 (#236, #244).

The absolute linear floor of a boolean is this factor times the operands’ extent; BooleanReport::rounding_floor returns it, with what the angular floor adds, and BooleanReport::extent defines the extent. Angular residues have a floor of this factor itself, in radians, unscaled.