~~~ refactor binary intrinsic
~~~ minor: NamePredicate, PatternBuilder
~~~ convert NumberConversionFIF to Kotlin