Dual numbers
funcall.blogspot.com·1d·