> I think that we need to make it clear that the statement is only > associated with the extension case. I'd word it as: "In that case, the > high bits are undefined." > > -Hal > > Ah, of course. Thank you - commited as r292933. /Jonas