module Builtins_float: sig .. end
sig
end
Nothing is exported, all the builtins are registered through