int64 toString() for toJson()