Explicit conversion to ints