Sum of some real numbers (#8606) - Basecamp