 This is also known as a β-expansion, a notion introduced by and first studied in detail by .Every real number has at least one (possibly infinite) β-expansion.The set of all β-expansions that have a finite representation is a subset of the ring Z[β,β-1].