@Override
 public String toString() {
   String result = "";
   result += num.toString() + "\r\n";
   result += "---------\r\n";
   result += den.toString();
   return result;
 }