[IMP-dev] FloatKey In a Double precision?

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