Yeah, I imagine too :) . But if they used floats, would they score 9.11 higher than 9.9 ? :)