sS ai_multiplyInts(S a, S b) {
  ret str(mul(bigint(a), bigint(b));
}