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