Module Std_kernel.Float

module Float: Float

include Float_intf.S