Module Model_intf.Float

module Float: CCFloat
Floating point convenience module