Si dans ce cas on a un programme dans lequel l'infini à un sens, on ne devrait donc pas être surpris que tel ou tel opération retourne l'infini plutot que de lever une exception ... ce qui me pousse à dire que normallement un programme n'est pas cencé contenir un nombre infini ou un nombre n'en étant pas un ( ... NaN ) d'où le besoin de vérifier. Sinon, on peut très bien se passer de se genre de vérifications.