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