Integer extractor of a path variable:
Path("/user/123") match { case Root / "user" / IntVar(userId) => ...