[tor-commits] [torspec/master] Standardize use of 'NUM' for non-negative integers in extrainfo