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