This one could absolutely be used in a computer science course as an intro to both PRNGs and IEEE floating point.