Interesting that the case they were using was the Nuclear Threat Initiative and FP uncertainties, I've audited some, ah, nuclear-physics-related code that had an issue due to FP uncertainties...

Where you can encode an entire Command and Control server within rounding errors! You sneaky skunk!