Change mjsCamera.resolution type from float to int.

Resolution is inherently an integer quantity (pixels).

PiperOrigin-RevId: 848276456
Change-Id: I92ee1aa88fd552fd42cb3871442f020f26d6fa6a

python/mujoco/introspect/structs.py

@@ -7570,6 +7570,14 @@ STRUCTS: Mapping[str, StructDecl] = dict([
                  type=ValueType(name='mjtProjection'),
                  doc='camera projection type',
              ),
+             StructFieldDecl(
+                 name='resolution',
+                 type=ArrayType(
+                     inner_type=ValueType(name='int'),
+                     extents=(2,),
+                 ),
+                 doc='resolution (pixel)',
+             ),
              StructFieldDecl(
                  name='fovy',
                  type=ValueType(name='double'),
@@ -7578,7 +7586,7 @@ STRUCTS: Mapping[str, StructDecl] = dict([
              StructFieldDecl(
                  name='ipd',
                  type=ValueType(name='double'),
-                 doc='inter-pupilary distance',
+                 doc='inter-pupillary distance',
              ),
              StructFieldDecl(
                  name='intrinsic',
@@ -7596,14 +7604,6 @@ STRUCTS: Mapping[str, StructDecl] = dict([
                  ),
                  doc='sensor size (length)',
              ),
-             StructFieldDecl(
-                 name='resolution',
-                 type=ArrayType(
-                     inner_type=ValueType(name='float'),
-                     extents=(2,),
-                 ),
-                 doc='resolution (pixel)',
-             ),
              StructFieldDecl(
                  name='focal_length',
                  type=ArrayType(