JSON serialising/deserialising, done correctly and fast