Changed name of PAdic to PAdicNumbers
Deleted junk at end