Re: Strange 32bit-ism

[Richard Stallman]

This seems to fix it; does it give good results?

*** editfns.c   26 Aug 2006 06:12:54 -0400      1.423
--- editfns.c   28 Aug 2006 13:46:46 -0400      
***************
*** 3758,3764 ****
              this_format[format - this_format_start] = 0;
  
              if (INTEGERP (args[n]))
!               sprintf (p, this_format, XINT (args[n]));
              else
                sprintf (p, this_format, XFLOAT_DATA (args[n]));
  
--- 3758,3770 ----
              this_format[format - this_format_start] = 0;
  
              if (INTEGERP (args[n]))
!               {
!                 if (format[-1] == 'd')
!                   sprintf (p, this_format, XINT (args[n]));
!                 /* Don't sign-extend for octal or hex printing.  */
!                 else
!                   sprintf (p, this_format, XUINT (args[n]));
!               }
              else
                sprintf (p, this_format, XFLOAT_DATA (args[n]));