int(%d)