1b46f7135 Add infix + - / * candidates for mixed int / num (#6040)