Comments on: How To – Remove Leading Zeros

By: Adam

Adam — Tue, 14 Oct 2008 19:12:25 +0000

Good points to make Joe and Toby, thanks.

By: Toby

Toby — Wed, 08 Oct 2008 01:47:55 +0000

You could also use a cast: (int)$str

By: Joe Izenman

Joe Izenman — Tue, 07 Oct 2008 20:40:06 +0000

And, just because it’s tagged PHP/MySQL…

mysql> SELECT TRIM( LEADING 0 FROM 00124000 );
+———————————+
| TRIM( LEADING 0 FROM 00124000 ) |
+———————————+
| 124000 |
+———————————+
1 row in set (0.00 sec)