convertion to int