Así una constante de tipo real se definiría mediante: