static Int min_withNull(Int a, Int b) { ret a == null ? b : b == null ? a : (Int) min(a, b); }