Sea formula_5 un numeral decimal como en (2) y sea formula_18 la truncación (eliminar la cola) del numeral después de la posición formula_19), o sea que formula_18 es lo que aparece en (3).