Given the simplicity of this patch - changing one variable from int32_t to int64_t - I've now committed it in the absence of any comments. -- Joseph S. Myers joseph@codesourcery.com