Le module Type Double fournit des outils pour gerer les valeurs numeriques en precision double dans Nelson.

Il convertit les valeurs en double precision et donne acces aux principales limites numeriques des nombres a virgule flottante.