cast integer arguments