convertir 0.25 a ternario