Nom d’un type classique de données, contenant une valeur codée (sens 5) en virgule flottante. Par extension, utilisé pour désigner tout nombre réel quand il se trouve dans les entrailles d’une machine. On dit aussi en français un flottant.