XML comments for BigIntegerExtender edited