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