Убрать нули в начале числа

$y = '000000011';
echo (int)$y;

или

$y = '000000011';
print ltrim($y,'0');