[BefunDebug] Added field for NumberRep Size