Update API docs to clarify that ordinary provisioning returns random numbers