Binary Arithmetic in TypeScript's Type System - Josh Goldberg