Proposed resolution:

Change [rand.predef]/p6:

typedef discard_block_engine<ranlux48_base, 389, 11> 
        ranlux48

Required behavior: The 10000^th consecutive invocation of a default-constructed object of type ranlux48 shall produce the value 249142670248501 88229545517833.