I guess see the other comment above. I think we probably should put the casting for the second operand directly into its own iterator which it probably needs anyway. Though thinking about it. With an optimized subspace it would make sense to do it as you are doing it here, but maybe when adding that optimization we should give it its dedicated code path anyway.