Devuelve el resultado de redondear {0} hacia abajo al entero más alto anterior. Si {0} es NULL, Number.RoundDown devuelve ...