This namespace is supposed to contain general-purpose integrators. If you were to type it, you'd have to define `Product<double, double>`, `Product<float, float>` etc. in the same place as the other products (`quantities` would hardly be appropriate in that case).