Windows 64-bit compilation
long double -> double

long double has the same size as double on Windows and using it leads to all
sorts of problems. I hope we can do without.
make gt compile on Windows 64-bit