PIntegral
This is similar to the Integral typeclass. However, it only has the following class methods:
pdiv- similar todivpmod- similar tomodpquot- similar toquotprem- similar torem
Using these functions, you can do division/modulus etc. on Plutarch level values:
pdiv # 6 # 3
where 6 and 3 are Term s PIntegers yields 2 - also a Term s PInteger.