@robrolfemaths @maanow I was trying to avoid giving the answer in a tweet. Anyway, 30/31 is more like 0.9677419...