Lines Matching defs:ArbBigNum