with int