StructureDefinition for positiveInt

{
  "resourceType" : "StructureDefinition",
  "id" : "positiveInt",
  "text" : {
    "status" : "generated",
    "div" : "<div>!-- Snipped for Brevity --></div>"
  },
  "extension" : [{
    "url" : "http://hl7.org/fhir/StructureDefinition/structuredefinition-standards-status",
    "valueCode" : "normative"
  },
  {
    "url" : "http://hl7.org/fhir/StructureDefinition/structuredefinition-normative-version",
    "valueCode" : "4.0.0"
  }],
  "url" : "http://hl7.org/fhir/StructureDefinition/positiveInt",
  "version" : "5.0.0-ballot",
  "name" : "positiveInt",
  "status" : "active",
  "experimental" : false,
  "date" : "2022-09-07T10:58:29+10:00",
  "publisher" : "HL7 FHIR Standard",
  "contact" : [{
    "telecom" : [{
      "system" : "url",
      "value" : "http://hl7.org/fhir"
    }]
  }],
  "description" : "positiveInt type: An integer with a value that is positive (e.g. >0)",
  "fhirVersion" : "5.0.0-ballot",
  "kind" : "primitive-type",
  "abstract" : false,
  "type" : "positiveInt",
  "baseDefinition" : "http://hl7.org/fhir/StructureDefinition/integer",
  "derivation" : "specialization",
  "snapshot" : {
    "element" : [{
      "id" : "positiveInt",
      "path" : "positiveInt",
      "short" : "Primitive Type positiveInt",
      "definition" : "An integer with a value that is positive (e.g. >0)",
      "min" : 0,
      "max" : "*",
      "base" : {
        "path" : "positiveInt",
        "min" : 0,
        "max" : "*"
      },
      "constraint" : [{
        "key" : "ele-1",
        "severity" : "error",
        "human" : "All FHIR elements must have a @value or children",
        "expression" : "hasValue() or (children().count() > id.count())",
        "xpath" : "@value|f:*|h:div",
        "source" : "http://hl7.org/fhir/StructureDefinition/Element"
      }],
      "isModifier" : false,
      "isSummary" : false
    },
    {
      "id" : "positiveInt.id",
      "path" : "positiveInt.id",
      "representation" : ["xmlAttr"],
      "short" : "xml:id (or equivalent in JSON)",
      "definition" : "unique id for the element within a resource (for internal references)",
      "min" : 0,
      "max" : "1",
      "base" : {
        "path" : "Element.id",
        "min" : 0,
        "max" : "1"
      },
      "type" : [{
        "extension" : [{
          "url" : "http://hl7.org/fhir/StructureDefinition/structuredefinition-fhir-type",
          "valueUrl" : "string"
        }],
        "code" : "http://hl7.org/fhirpath/System.String"
      }],
      "isModifier" : false,
      "isSummary" : false
    },
    {
      "id" : "positiveInt.extension",
      "path" : "positiveInt.extension",
      "short" : "Additional content defined by implementations",
      "definition" : "May be used to represent additional information that is not part of the basic definition of the resource. To make the use of extensions safe and manageable, there is a strict set of governance  applied to the definition and use of extensions. Though any implementer can define an extension, there is a set of requirements that SHALL be met as part of the definition of the extension.",
      "comment" : "There can be no stigma associated with the use of extensions by any application, project, or standard - regardless of the institution or jurisdiction that uses or defines the extensions.  The use of extensions is what allows the FHIR specification to retain a core level of simplicity for everyone.",
      "alias" : ["extensions",
      "user content"],
      "min" : 0,
      "max" : "*",
      "base" : {
        "path" : "Element.extension",
        "min" : 0,
        "max" : "*"
      },
      "type" : [{
        "code" : "Extension"
      }],
      "constraint" : [{
        "key" : "ele-1",
        "severity" : "error",
        "human" : "All FHIR elements must have a @value or children",
        "expression" : "hasValue() or (children().count() > id.count())",
        "xpath" : "@value|f:*|h:div",
        "source" : "http://hl7.org/fhir/StructureDefinition/Element"
      },
      {
        "key" : "ext-1",
        "severity" : "error",
        "human" : "Must have either extensions or value[x], not both",
        "expression" : "extension.exists() != value.exists()",
        "xpath" : "exists(f:extension)!=exists(f:*[starts-with(local-name(.), 'value')])",
        "source" : "http://hl7.org/fhir/StructureDefinition/Extension"
      }],
      "isModifier" : false,
      "isSummary" : false
    },
    {
      "id" : "positiveInt.value",
      "path" : "positiveInt.value",
      "representation" : ["xmlAttr"],
      "short" : "Primitive value for positiveInt",
      "definition" : "Primitive value for positiveInt",
      "min" : 0,
      "max" : "1",
      "base" : {
        "path" : "integer.value",
        "min" : 0,
        "max" : "1"
      },
      "type" : [{
        "extension" : [{
          "url" : "http://hl7.org/fhir/StructureDefinition/structuredefinition-fhir-type",
          "valueUrl" : "positiveInt"
        },
        {
          "url" : "http://hl7.org/fhir/StructureDefinition/regex",
          "valueString" : "[1-9][0-9]*"
        }],
        "code" : "http://hl7.org/fhirpath/System.String"
      }],
      "isModifier" : false,
      "isSummary" : false
    }]
  },
  "differential" : {
    "element" : [{
      "id" : "positiveInt",
      "path" : "positiveInt",
      "short" : "Primitive Type positiveInt",
      "definition" : "An integer with a value that is positive (e.g. >0)",
      "min" : 0,
      "max" : "*"
    },
    {
      "id" : "positiveInt.value",
      "path" : "positiveInt.value",
      "representation" : ["xmlAttr"],
      "short" : "Primitive value for positiveInt",
      "definition" : "Primitive value for positiveInt",
      "min" : 0,
      "max" : "1",
      "type" : [{
        "extension" : [{
          "url" : "http://hl7.org/fhir/StructureDefinition/structuredefinition-fhir-type",
          "valueUrl" : "positiveInt"
        },
        {
          "url" : "http://hl7.org/fhir/StructureDefinition/regex",
          "valueString" : "[1-9][0-9]*"
        }],
        "code" : "http://hl7.org/fhirpath/System.Integer"
      }]
    }]
  }
}