Sum and product of real numbers (#8604) - Basecamp