Talk:Discrete valuation