Num.java

package tmp;

public class Num {
  public String toString(){
    return "" + value;
  }
}