min(i32, i64)
