terminal: convert size to int32 before writing prefs