fix xml conversion of large integers