Записываем число в виде десятичной дроби:
Девять целых - это 9.
12 тысячных - это 0.012.
Вместе это будет 9 + 0.012.
Ответ: 9,012