the scalar maoreduce version, i believe it would be reasonable to say that the accumulator transparently has more bits i know this is needed for crossproduct. (dotproduct?) ah no it is not reasobable to assime more bits for the accumulator because all operations must be precise (re-entrant). hmm...