type NonNegativeNumber = number & Brand<"NonNegative">;