module FloatExtension