A method to handle summary information values of double type.
virtual ReturnT visit_double(double val) = 0;