probably shoudn't play with git today :) I had it in my original modification which was lost and forgot later.

I think that converting to int is more reliable (but don't know almost anything about python) so I tried this way.