positiveInt: number & {
    _positiveInt: "fhir_positiveInt";
} & integer