gbmhunter opened this issue 11 years ago · 0 comments
On some platforms, float and doubles are the same thing (32-bit).