Transfinite ordinal arithmetic and factorisation up to epsilon-zero - View it on GitHub