Module AltErgoLib__Arith