Sum of real numbers (#8605) - Basecamp