Hm, andersrum ist es noch einfacher:


So oder so muss man mit dem length($page_id) explizit prüfen, ob der String leer ist, da der leere String wohl nicht als gültige Ganzzahl gelten soll. In dem Benchmark wurde diese Prüfung nicht berücksichtigt; ich nehme aber mal nicht an, dass das einen großen Unterschied macht.