The module rings.padic defines the following classes:
Binary operations on two elements of Qp reduce the precision of the unit part of the argument with larger precision to that of the one with lesser precision. This applies to all operations, including equality testing, so, e.g., the element O(p) is equal to every p-adic integer, since comparison will truncate the other p-adic integer to precision O(p).