* `f32fromui32 $aDst0, $aSrc0`

Convert an unsigned integer to a *single-precision* floating-point
value.