File:MathFoundations58 Arithmetic with positive polynumbers