100m or 120m x 7.5, 8.0, or 8.5mm is actually a somewhat popular rope choice for long routes or alpine routes, usually in places that are known to have lots of rope snagging rappells.
It would be pretty dumb to have a 9.5 or 10.0 long rope. With half or twin technique it makes sense, sometimes.