It says "7 or more". Can we do a quick survey of other implementations to see how they cope with larger values?