formula_5 denota formula_7 (donde formula_8, es la "parte entera").