Como converter string em número inteiro (PHP e MySQL)

Aqui está uma conversão de tipo de string para int, da mesma forma com PHP e MySQL.
Basicamente, você pode alterar o tipo de sua string adicionando 0.

PHP

$myVar = "13";
var_dump
($myVar); // string '13' (length=2)
$myVar
= $myVar +0; // or $myVar+= 0
var_dump
($myVar); // int 13

MySQL

SELECT * FROM stop_times LEFT JOIN stops ON stop_times.stop_id=stops.stop_id WHERE stop_times.trip_id=2755013 ORDER BY stop_times.stop_sequence+0 ASC

Neste exemplo, o stop_sequence é armazenado como um Varchar, sem a conversão, você terá o stop_sequence na seguinte ordem: 1, 10, 11, 12, etc.

Por que usar essas dicas?

Edit: Eu escrevi essas dicas em 2015 e realmente não acho que tenha um caso de uso real além de mostrar como o PHP converte string para int internamente.
Você pode ler mais sobre a conversão de String em números em php.net

Outras maneiras de fazer a conversão de tipo

No PHP, você pode usar a função intval () ou converter sua variável com (int):

$myVar = "13";
var_dump
($myVar); // string '13' (length=2)
$myVar
= intval($myVar);
var_dump
($myVar); // int 13

$myVar
= "13";
var_dump
($myVar); // string '13' (length=2)
$myVar
= (int)$myVar;
var_dump
($myVar); // int 13

No SQL, você pode usar a função CAST ():

SELECT * FROM stop_times LEFT JOIN stops ON stop_times.stop_id=stops.stop_id WHERE stop_times.trip_id=2755013 ORDER BY CAST(stop_times.stop_sequence AS UNSIGNED INTEGER) ASC