I like this sentence from the paper linked at the end of the article:

We show how to implement arithmetic […] that is correct, even by the standards of naive users.