On Apr 8, 2010, at 05:14, Dirk Wallenstein wrote: > > I tried in another thread but there are type divergence issues that > would have to be solved additionally in a questionable separate effort. > > Are you ok with the patch as is? yes.