It's in there somewhere.

For those who are unaware, as everyone knows, a "floating point" is one of those things you see in the sky, but it's actually in your eye. And that's an error.

And that sounds like something Ken would say ... why did I just waste that? Oh, well. Wait a year, and re-use it. It's not like many people read the after-text anyway. Probably fewer than 2.0000013 X 10^1.