Safe-Infered        Adaptive-0.1 Data.AdaptiveAdaptiveepsilonsplitterfromFloatingPointapproxapprox' approxFast$fFractionalAdaptive $fNumAdaptive $fOrdAdaptive $fEqAdaptive$fRealFracAdaptive$fRealFloatAdaptive$fFloatingAdaptive$fRealAdaptive$fShowAdaptive