Test cases for p-adics