Added tests from documentation for padics.