Apparently int() isn't supported