i64 < i32 - f32
