You can find the documentation of the arithmetic library at : file:////users/outil/arith/latest/doc/index.html