3 ms·

(implicitly converting strings to numbers is pretty convenient too but that doesn't mean php made the right call)