public static Literal/*!*/ BigInteger(BigInteger/*!*/ value, SourceSpan location) { return new Literal(value, location); }