Cavalieri's_quadrature_formula loading ...