i32 < i64 - 0.5
