Fix incorrect statement in float docs.

It claimed that double is undocumented, which is not true.