Discrete valuation