PHPで0サプレスする（数字の先頭から0を削除する）

《例》

$str = "000100";
echo $str;
//出力結果：000100

echo abs($str);
//出力結果：100

いろいろというか、もっと原始的なやり方を好むが、今回は便利な関数を使ってみた。
ベーシックな関数は必要だが、このような流行りもの的関数を使ってしまった自分が恥ずかしい。