static S secondIntAsString(String s) { ret second(jextractAll("", s)); }