Module Numerors_arithmetics.Exact

module Exact: Arithmetic  with type forward = I.t
Modules which implement the previous signature for each field of <t>

type forward 
module Forward: sig .. end
module Backward: sig .. end