Floating point in the type system

[Robert via Digitalmars-d]

Hi all,

I came across this example, and wondered what your thoughts on it 
are:


```
void main(string[] args)
{
     struct Foo(float f) {
         alias VAL = f;
         float getF() {
             return f;
         }
     }

     Foo!(float.nan) f;
     Foo!(float.nan) f2;

     // This will fail at compile time
     static assert(f.VAL == f2.VAL);

     // This will fail at run time
     assert(f.getF() == f2.getF());

     // But this is ok
     f = f2;
}
```

It seems a little unusual to me.

Robert