sS dropMinusPrefix(S s) {
  ret dropPrefix("-", s);
}