sS ai_addInts(S a, S b) {
  ret str(plus(bigint(a), bigint(b));
}