La funcion fracción de redondeo de x esta definida para todo número real: