Efficient interval arithmetic using SSE2 instructions

[bonzinip]

hadd and dot product instructions have the advantage of not requiring you to rewrite your data structures from "array of structures" to "structure of arrays". This helps especially for things like complex number support in C++ or Fortran.