Abstract
We show that a countable totally and discretely ordered set with first element inherently carries the structure of an ordered commutative euclidean monoid, provided its order type is of a certain kind. As an application we specify the order types of all discretely ordered sets which can be expanded to ordered commutative euclidean monoids.