Fix 64bit numbers in the settings.