Library Interval.Tactic_float
Require Import Primitive_ops.
Require Import Float_full_primfloat.
Module Float := PrimitiveFloat.
Module Interval := PrimFloatIntervalFull.
Require Import Float_full_primfloat.
Module Float := PrimitiveFloat.
Module Interval := PrimFloatIntervalFull.