This literate essay develops an implementation of a type called `Differential`. A `Differential` is a generalization of a type called a ["dual number"](https://en.wikipedia.org/wiki/Dual_number), and the glowing, pulsing core of the SICMUtils implementation of forward-mode automatic differentiation. »