Add comment for %random-double-float to use xoroshiro-gen directly instead of random-chunk twice. A minor micro optimization.