Ordinary Decimal Number Definition