Nombres entiers et décimaux ; comparaison.