(self, dbl)
| 563 | self.writeJSONNumber(i64) |
| 564 | |
| 565 | def writeDouble(self, dbl): |
| 566 | # 17 significant digits should be just enough for any double precision |
| 567 | # value. |
| 568 | self.writeJSONNumber(dbl, '{0:.17g}') |
| 569 | |
| 570 | def writeString(self, string): |
| 571 | self.writeJSONString(string) |