Added padic.lisp