i64 < i32 - 0.5
