cast to int in order to avoid comparison of str() < int() at runtime