Apologies for all the typos in the text of the previous message; I was somewhat distracted while writing it up. Most importantly, I wrote "0x2000000", where I meant "0x20000000" (2**29). I'm still not clear on why 0x3fffffff isn't accepted, as that should fit into a 32-bit integer (it will be negative, but still a rep_INTP).
-- Neil Moore, n...@s-z.org, http://s-z.org/neil/ -- To UNSUBSCRIBE, email to debian-bugs-dist-requ...@lists.debian.org with a subject of "unsubscribe". Trouble? Contact listmas...@lists.debian.org
