PHP remove first zeros

Question

Want to remove all 0 placed at the beginning of some variable.

Some options:

What is the solution?

user_210417 · Answer

Multiply it by 1

$var = "0000000000010";
print $var * 1;  

//prints 10

user_8111922 · Answer

Carefull on the casting type;

var_dump([
    '0014010011071152',
    '0014010011071152'*1,
    (int)'0014010011071152',
    intval('0014010011071152')
]);

Prints:

array(4) {
    [0]=> string(16) "0014010011071152"
    [1]=> float(14010011071152)
    [2]=> int(2147483647)
    [3]=> int(2147483647)
}