User blog comment:Nayuta Ito/An attempt to well-define OCF as a number notation/@comment-32697988-20190425100551/@comment-35470197-20190426023212

> It is supposed to return -1 iff AB.

I guess that you have some typo, because all the letters blow it are written in bold font.