Added more ad hoc divexacts and / for padics.