Fix #622: Type of Double changed to Int32 on save document
Merge pull request #628 from stennie/issue-622

Fix #622: Type of Double changed to Int32 on save document