https://9lib.org/document/z1drwwn8-types-of-numbers.html