Library Interval.Tactic_float

Require Import Primitive_ops.
Require Import Float_full_primfloat.

Module Float := PrimitiveFloat.
Module Interval := PrimFloatIntervalFull.