Update x-adic.lisp