Câu lệnh nào là đúng , khi bạn muốn biến đổi dang (type) thành integer?

$item = (int) "100Laptop";

$tem = "int""100Laptop";

$item = [int] "100Laptop";

$item = INT"100Laptop";