exmplicit cast UniformRealDistribuiton u64->float