This is a pet project that came about when I learnt how integers are mathematically defined.