Yes, I agree that it would be better to have the actual numbers immediately available in doxygen documentation.  Pushed.