fact: Definition pi (prec : F.precision) : type := (Ibnd 0x1.921fb54442d18p+1 0x1.921fb54442d19p+1)%float.
imports: Coq(Reals Psatz PrimInt63 Uint63 Sint63 PArray Floats) Flocq(Core PrimFloat BinarySingleNaN) Missing.Flocq Xreal Basic Sig Interval Float Float_full Specific_bigint Specific_ops Primitive_ops Lang_expr Lang_tac Interval_helper