Is (0.8-.1)/0.1 an integer?