export type NonPositiveInteger = number & {
    __brand: 'NonPositiveInteger';
};