Was there consideration of the Random and Random.default naming? It seems like a sub-par name for the standard library random number generator. I proposed DefaultRandomNumberGenerator and it appeared to get consensus acceptance (e.g. here). I don't mind if the core team decided against an alternative naming, just checking this detail wasn't overlooked.