(module Stdlib__float)