My bad; it is indeed a completely arbitrary number, but no reason to not be explicit about it.