numerics seem to work, with sums going to ymm13