+⌿
is that +
on IEEE floats is neither commutative, nor even associative in general. Parallel folds necessarily use a different association than a linear fold, and some algorithms even commute blocks around. Thus, to work stably in all cases, one needs to stick with a naive linear +⌿
IIUC.