Implementing Arithmetic Within TypeScript’s Type System

I use TypeScript constantly in my work, and I enjoy the challenge of creating elaborate and elegant types that accurately model the constraints of the problem I am solving. I find with enough ingenuity (and searching) I can implement exactly what I need. Yet on occasion I run into situations where the type that I need is beyond TypeScript’s current capabilities, and I find myself forced to write t