On 28/06/12 18:37, David Nadlinger wrote: > On Thursday, 28 June 2012 at 15:28:10 UTC, Don Clugston wrote: >> There's an oddity, though: the type of X.significand would be >> dependent on the type of X […] > > I don't think this is a problem at all – for example, the type of T.init > depends on T as well… > > David Good point.