module Builtins_float: sig .. end
sig
end
Builtins for standard floating-point functions.
Nothing is exported, all the builtins are registered through