User blog comment:Nayuta Ito/An attempt to well-define OCF as a number notation/@comment-32697988-20190428074647/@comment-25337554-20190430211554

>Then S_n should be S_{Uncast(n)}.

Fixed.