module Digiproc::CoreExtensions::FloatExtension