A variant of Ostrowski numeration

In this article, we propose a variant of the usual Ostrowski $\alpha$-numeration (where $\alpha$ is a real in [0, 1[) that codes integers (positive as well as negative) and reals of [0, 1[ (instead of [–$\alpha$, 1–$\alpha$[), so that for every integer n, n and {n$\alpha$} have the same coding sequence. These coding sequences respect natural lexicographic orders and will be used to prove well known results on order properties of Kronecker sequences ({n$\alpha$ – $\beta$}) n .