"Strength in Numbers: Unums and the Quest for Reliable Arithmetic" by Ferris Ellis