User blog comment:Nayuta Ito/An attempt to well-define OCF as a number notation/@comment-35470197-20191123105520/@comment-25337554-20191123233140

Fixed, but I have no idea what I am doing at that point!