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