static BigInteger javaSingleToken_bigint(S s) {
  ret bigint(javaSingleToken(s));
}