@hackage / padic

Fast, type-safe p-adic arithmetic