OK, found.
It was not PRINTL but a special condition usage of SINGLE data type when converted to string (PRINTL has to convert a number to a string before printing it).
If you use DOUBLE or any numeric data type the bug is not present.
If you absolutely need new thinBasic Core engine right now I can attach a new version (it is 1.9.0 though)
Otherwise fix will be present in next release.
Ciao
Eros