Account for float32 vs. double difference between SIMD and nonSimd kernels