arith 2 0 http://www.openmath.org/cdgroups/arith.cdg Basic Arithmetic functions arith1 http://www.openmath.org/cd/arith1.ocd arith2 http://www.openmath.org/cd/arith2.ocd