Macro primitive_positiveint 

macro_rules! primitive_positiveint {
    ($field_name:literal, true) => { ... };
    ($field_name:literal, false) => { ... };
}

Generate a positiveInt field with optional extension companion