Да, тогда правда возникает вопрос с тем как это поддерживать там где нет 265, поэтому они и обсуждали подход 128*2, когда операция реплицируется на обоих половинах, вместо чистой 256-битной операции. В общем-то для арифметики это не так важно, разница в операциях где значения могут путешествовать между полосами.