The declare return value type is uint64_t, why only return low 53 bit at here?

[NewOF]

Paddle/paddle/fluid/framework/generator.h

Line 34 in a9ea41c

return ((((uint64_t)rd()) << 32) + rd()) & 0x1FFFFFFFFFFFFF;