Le type double définit les nombres à virgule flottante conforme à la norme IEEE754 / 64bits.
Il s'agit de la forme littérales par défaut des nombres à virgule flottante. Il suffit d'en indiquer la valeur pour définir un nombre du type double. Ainsi, le nombre flottant «10.0», s'écrit tout simplement 10.0.
Le constructeur par conversion des nombres du type double est double. Il est ainsi possible de créer une nouvelle instance de nombre à virgule flottante «double» partir d'un nombre d'unautre type.
(display (double 10))
⇒
10.0