awk中如何使用正则以匹配重复字符

正常的文章中都是简单的说了关于正则的重复匹配问题：

重复X指定次数(n次)：X{n}

重复X至少n次：X{n,/}

 重复X n到m次：X{n,m}

 但是我实验发现，awk中好像不好使，不知道是不是版本的原因，最后发现要用--posix，即：

 echo 13003004000|awk --posix '{if (length($1)==11 && $1~/13[0-9]{9}/){print $0}}'