I fixed a bug in the experimental version of my infinite ordinal number line. (There's also source code for this version). #maths https://stephenbrooks.org/archive/ordinals/