Bash: Removing leading zeroes from a variable

old="0004937"
# sed removes leading zeroes from stdin
new=$(echo $old | sed 's/^0*//')