Changes required for float64.go

I missed these in the previous commit.