rely on virtualization of infix_+