@wizzwizz4 Technically, `"1" !== 1` does not demonstrate that `"1"` and `1` are different types ;)

But you're right, they're supposed to be different types in PHP and my explanation is just wrong; editing it now. Thanks for pointing this out!