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