fact: Definition scale x e := ldshiftexp x (Int63.of_Z e + Int63.of_Z FloatOps.shift)%int63.
imports: Coq(ZArith Reals) Int63Compat Coq(Floats Psatz) Flocq(Zaux Raux BinarySingleNaN PrimFloat Sterbenz Mult_error) Missing.Stdlib Missing.Flocq Xreal Basic Sig