Summand.h revision 676ef01ba74e966b1ce7f4117372bbc5f1290cc4
1