code: public static SharedPreferences.Editor putDouble(SharedPreferences.Editor editor, String key, double value) {
          return editor.putString(key, String.valueOf(value));
      }
docs: Set a double value in the preferences editor.
  @see android.content.SharedPreferences.Editor
  @param editor the editor
  @param key The name of the preference to modify.
  @param value The new value for the preference.
  @return the editor.