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