module type NumericSig =sig
..end
include BatBounded.S
val (+) : t -> base_u -> t
val (-) : t -> base_u -> t
val ( * ) : t -> base_u -> t
val (/) : t -> base_u -> t
val (+:) : t -> t -> t
val (-:) : t -> t -> t
val ( *: ) : t -> t -> t
val (/:) : t -> t -> t