Тупанул. Считал, что real_to_int обрезает, а не округляет почему-то. А так - да, на 100 умножил, преобразовал и разделил на 100. Максимально корректно.

Спасибо!