(module Js_float)