arithmétisation des nombres décimaux