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

$item = (int) "100Laptop";

$tem = "int""100Laptop";

$item = [int] "100Laptop";

$item = INT"100Laptop";