faster JSON serialization