refines class Num { public int eval() { return value; } }