Re: [IMP-dev] Be very careful with floating point numbers