Как преобразовать длинную без знака в плавающую точку одинарной точности в сборке x86?

Question

cvtsi2ss работает для целых чисел до 2 ^ 63 - 1, но мне нужно 2 ^ 64-1. Кажется, есть vcvtusi2ss xmm1, xmm2, r/m64, но он всегда возвращает незаконную инструкцию. Если это функция, которую я ищу, как мне правильно ее использовать?