Definition:Decimal Part