Add a C++ std paper on my numeric_limits thing.