Added conversion stuff for f32->i32 casting