Yet again... defend against some 32-bit version of wx.Config sometimes refusing to read an int value as a string