Closed jcrist closed 9 months ago
An assortment of micro-optimizations and cleanups around JSON encoding:
int
float
datetime
date
time
An assortment of micro-optimizations and cleanups around JSON encoding:
intandfloatencoding by up to ~2x for small numbersdatetime,date, andtimeencoding by ~30-40%