Documentation for zero argument srand() #8320