Prints an int