Implement f32 to i16 and f32 to u16 conversions