Serlib_number_string_notation_plugin
module Ser_g_number_syntax : sig ... end
module Ser_number : sig ... end