cast to integers instead