static S div(O contents, O... params) {
  ret htag("div", contents, params);
}

static BigInt div(BigInt a, BigInt b) {
  ret a.divide(b);
}

static BigInt div(BigInt a, int b) {
  ret a.divide(bigint(b));
}