* [RDF_RANDOM,FIX] Double argument.