A bit frustrating that on a day like today it can't do better, but if it had gone up like everyone else this wouldn't be AVX ...