list 2 0 http://www.openmath.org/cdfiles/cdgroups/arith.cdg Basic Arithmetic functions list1 http://www.openmath.org/cd/list1.ocd list2 http://www.openmath.org/cd/list2.ocd