added test_int_down