bigint: add/sub optimizations