Thank you, Ruben. That is hopeful. Although I don't recall designing the example to return such an interesting sequence of digits.
Hi David, the current beta release of version 14.2 returns 1234.56 when executing your code.