3. Если это не так, что оба типа (px) - это String, а Type (py) - String, то
а. Пусть nx - результат вызова ToNumber (px). Поскольку px и py являются примитивными значениями, порядок оценки не важен. б. Пусть ny является результатом вызова ToNumber (py).
Известно, что PHP имеет довольно противоречивую систему принуждения типов - PHP: фрактал плохого дизайна освещает еще несколько проблем, с которыми сталкивается PHP. (Смею, я говорю, я лично считаю, что это хуже, чем JavaScript, язык, также известный под принудительными типами принуждения.)