Mozda neverovatno ali unsigned int do sada nikada nisam imao potrebu da konvertujem u floating point.
Fora je da samo postoji signed int konverzija cvtsi2ss/d ali ne postoji unsigned.
I neko se setio da unsigned konverziju ubaci u avx512 vcvtusi2ss/d.
Naravno bez ove instrukcije treba malo gimnastike, ali opet no brainer. No ako ima dosta toga, ima se neki performance hit.
Znaci avx512 ipak ima neku svrhu bar za ovo.