Yes please. It's pretty silly and dangerous to have the most accessible random number generator not be cryptographically strong. It's really not that much of

Yes please. It's pretty silly and dangerous to have the most accessible random number generator not be cryptographically strong. It's really not that much of a cost performance wise. Safe defaults, make the developer go out of their way to use something less safe if they really know what they're doing.