Yes, that is correct. 9.11 is greater than 9.9.
