Valeurs

Entier vers réel

Convertit explicitement un entier en valeur réelle.

value.integer_to_real

Entier vers réelEntréeSortie