Flottants

Le type float est un sous-type de real mais n'est pas un sous-type de rational, même si les flottants forment en fait un sous-ensemble des rationnels. Les deux types float et rational sont en fait distincts.

Comme indiqué dans la section 4.1.1, il y a quatre sous-types du type float : short-float, single-float, double-float et long-float.

Les opérations dont le résultat est un flottant (fonctions trigonimétriques, logarithmes, etc) doivent choisir le sous-type exact de float parmi ceux disponibles. La règle Common Lisp est simple : le type exact du résultat est le même que le type le plus précis des arguments. Exemple :

* (expt 2.4 4.5)

51.398525
* (expt 2.4d0 4.5)

51.39851690685247d0
* (expt 2.4 4.5d0)

51.39852609762414d0
*