Work around a weird PHP bug?

This issue made comparing vendor ids problematic due to implicit
sting<>float conversion.

“00E064” == “00E091” => true