numerics now agree exactly with vectorizing branch