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

Then for what purpose will you use Cmp?