#12: fix autoboxing in binary OO