Summand.h revision 601eded9
1