i32 < min(i64)
