This page has moved to /blog/2018/07/22/04-integer-real-numbers/.