type NonNaNNumber = number & Brand<"NonNaN">;