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