Add an SSE2 algorithm for uint64->f64 conversion.