Riemann_sum loading ...