After recent refactorings to mp_binary_op_t, and make it future refactoring
proof for now, at the cost of extra element in the array.