sqlite: store strings with digits as integers