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