Intel SSE: Почему `_mm_extract_ps` возвращает ʻint` вместо` float`?

Почему _mm_extract_ps возвращает int вместо float ?

What ' s правильный способ чтения одного числа с плавающей запятой из регистра XMM в C?

Или, скорее, другой способ спросить: Что противоположно _mm_set_ps ] инструкция?