Paolo Carlini wrote: > Ah, ok, therefore Dhruv's original patch is right, after all! ;) I > couldn't believe > the standard actually asks for a cast there! Could you possibly point > us to the > exact place where it does that?!? Ok, I found it, and yes, it seems we need add some more too: 23.1.1/9,10, right? Paolo.