Use correct type for 64-bit float

Fixes a failing test.