Definitive Guide to How Computers Do Math