-Fixed (rather dirty..) the symbolic-delta computation.
-Added new test-grammar (bintrees_float.g, least solution there is 2/3)
-float-sr computes with doubles now