cual es la fracción equivalente al número decimal 1.257?​