code: @Inline(value="$1.add($2)")
  	@Pure
  	public static BigInteger operator_plus(BigInteger a, BigInteger b) {
  		return a.add(b);
  	}
docs: The binary <code>plus</code> operator.
  
  @param a
  a BigInteger. May not be <code>null</code>.
  @param b
  a BigInteger. May not be <code>null</code>.
  @return <code>a.add(b)</code>
  @throws NullPointerException
  if {@code a} or {@code b} is <code>null</code>.