bugfix: make integer to string conversion c++ conform.