* `f32fromi32 $aDst0, $aSrc0`

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