Got it.  I've seen the data structure with "four floats" before.  I still don't understand the hex codes used in `_mm_dp_ps` and so on, but we can chat later about that.