cast as int