type cast as int