Fix #738: Correct overloading when exporting toString
Merge pull request #755 from gzm0/export-toString

Fix #738: Correct overloading when exporting toString