> Updated patch. Thanks. I'm looking into it. Note that, currently at least, we cannot assume <cstdint> to be non-trivial on all the platforms supported by GCC, that is, std::intmax_t may well be unavailable. The code and the tests require guards... Paolo.