Is it possible to work with p-adics in GAP?

Elements of any representation of Z_p (or Q_p) would of course
be ``non-exact'' objects and perhaps as such are not part of the
GAP philosophy. Such a representation would necessarily require
a set limit of precision. So...

How about rings of the form Z/p^nZ (or more generally Z/nZ)?
Does GAP make these rings available in any cases other
than when Z/nZ is a field?

I am generally interested in linear groups over such rings.

Any suggestions would be helpful. Thanks.

--Bruce Kaskel
kaskel@math.berkeley.edu