I find myself occasionally wondering if 8.11 is in fact greater than 8.9