https://www.notthrowingstones.today/2017/11/17/on-irrational-numbers/