* `f32toui32 $aDst0, $aSrc0`

Convert a *single-precision* floating-point value to a unsigned integer,
rounding as per `$FP_CTL.RND`.