(module Nonstd.Float)