Задание

Округлить до тысячных 9,71234.

9,712

9,7123

9,710

9,713