cast as integers