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/