Definition:Decimal Notation