auto cast integer