_row_type: meta

format_family: PhiRatio

tolerance_formula: 5 * 2^-53 * phi^2 on R (Phi.v phi_tolerance / PhiFloat PHI_F64_TOLERANCE)

vector_name: phi_identity Vectors

verdict: CLEAN


_row_type: vector

claim: B2R(b64_mult NE phi phi) = B2R(b64_plus NE phi 1.0) (bit-identical floats)

verdict: PASS