Didn't there exist convoluted ways to get random numbers in CSS before this? (I think some would even manipulate the DOM and re-read the changed values since those operations have randomness apparently)