... I only want to add - I said this to the OP in private email too - that we also have in widespread use expressions like 'integral constant' and even 'is_integral' (standardized in the C++0x library). Thus I don't see the point of changing now, after so many years, that specific integral in the docs where most users are likely to find *many* more integral in documentation elsewhere, in the C++ standards, etc.
Paolo.
