Is 12/6 an integer??????