type casted to int