[math-fun] Valuations of EllipticK