I think Apple uses a NIST compliant DRBG now, but their manuals are wrong.