linux 中 从read读入的内容,怎么判断是否是数字呢?

#!/bin/bash
read a
if [[ $a =~ "^[0-9]*$" ]]
then
echo "Is num。"
else
echo "Not num。"
fi