static Int zeroToNull(Int i) {
  ret nullIfZero(i);
}