Improved basic types __str__ for use in the help strings