Random Number Generator の最初の文が "To kick this off, the standard library will provide a default RNG" なので、このセクション自体がデフォルト実装に関する話だという理解です。