i32 + int(f64)
