[IMP-dev] FloatKey In a Double precision?

[Seung Joong Kim <>]

Dear all IMP developers,


By default, Float data type is defined as "typedef float Float;" and it 
can have a corresponding FloatKey.

But in the case of "double" data type for higher accuracy, there is no 
DoubleKey assigned currently.

I'm just curious about it.  Do you think is it necessary to define 
DoubleKey as well? 

or is it safe to use FloatKey instead?


Thanks a lot!
Seung Joong Kim