Replace float by double in Cython code.

As the title says.