7 Int == { 2 + 5 } to Tree and then toString yields 2.+(5) == 7 Dobule

Take the test class:

class Test {
var xx = { 2 + 5 }
}

Parse into a Tree, and then call

println(tree)

yields

package {
class Test extends java.lang.Object with ScalaObject {
def this(): Test = {
Test.super.this();
()
};
private[this] var xx: Int = 2.+(5); // ERROR: Int != Double
// plus accessors ....
}
}

I agree that one would not expect to compile the output of calling
toString on a Tree (there are a number of <> notes) I would have
expected the { 2 + 5 } to be printed as (2).+(5) which is an Int
rather than as 2.+(5) which is a Double.

Thanks

Richard