fix includes, fix Float32 -> Float64