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