formula_10 denota formula_12 (donde formula_13, es la "parte entera").