conversion from Decimal to int