PaperOption: Save IDs and positions as ints.
Settings: Improve paper option saving; less crashes.

Chris Kanich report.