Actually, MySQL does properly type cast.