User blog comment:SuperSpruce/Aleph BEAF!/@comment-38027716-20190131234228

We already have ordinal collapsing functions for this.