Make static single flonum checks correct.

Closes PR13499.

Since the comments about requiring single-flonum? were incorrect, I'm assuming that the comments about not being possible to have the static check are also incorrect. But I may be wrong.