User blog comment:Andrewtheredditor/my new number notation/@comment-37246647-20181119072527/@comment-37486059-20181121190803

whoops. i was typing this up at night and didn't realize it wasn't well defined, so i'll edit the page to make it better defined.