[math-fun] weird looking EllipticK valuation