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