- json.writeNumberMember("__width__", desc.width);
- json.writeNumberMember("__height__", desc.height);
- json.writeNumberMember("__depth__", desc.depth);
+ json.writeIntMember("__width__", desc.width);
+ json.writeIntMember("__height__", desc.height);
+ json.writeIntMember("__depth__", desc.depth);