Jakub, I think option 2. use string should be the one. The end users
complain and are confused because you don't format the string value
properly. I think you can(for example using some js script) format
the user input for this value in such a way that it has to be entered as integers and the integer will be formatted before saved. For example,
123 will be 0000000123 and 23 will be 0000000023 and therefore
later when sorted 23/0000000023 will be before 123/
0000000123. Thanks _Chi