awk：正则表达式不匹配

Question

我用awk有以下命令。这与正则表达式不匹配。它没有任何东西

$ echo 800x900| awk '/\d+/{print $0}'

，而

$ echo 800x900| awk '/800/{print $0}'
800x900

我的正则表达式\d+是正确的。它匹配800。 https://regex101.com/r/xV8eB7/1