Конечно, правильно.

Суммирование (как и любая операция внутри ^var[]) - десятична по своей сути, и было бы странно ожидать другого от нее. Есть еще и ^sum[] - тоже десятичный ;-)

А ^eval[] - "спец.операция" - ей можно, и, согласиь, очень удобно...