f64 < i32 and ok
