Currently one of Summary's constructors accepts amount size, while it could accept the zero amount directly. This way it would have to be concerned less with the details of Amount such as its dimensionality.