explicitly cast to 32 bit integer