f32 + int(f64)
