Hi, I noticed that there isn't any support for printing floating point numbers. I was wondering whether someone has a patch of some sort that provides this functionality, even at a basic level. Peter