typo in arithmetic/natp-posp.lisp