DoubleAlgebra
std
DoubleInstances
std
DoubleMinMaxLattice
DoubleInstances
div
DoubleAlgebra
FloatAlgebra
doubleAlgebra
DoubleInstances