[tor-commits] [torspec/master] patch from atagar: disallow "13." as a number