# f32toi32 $aDst0 $aSrc0

*Single-precision* floating-point to signed integer conversion