fix #6645, 8-byte alignment of Float64 on 32-bit