Dedekind valuation