virtualize infix_+