Respuesta :

0.1257 is a terminating decimap