Make static single flonum checks correct.

Closes PR13499.
Add extra tests and warning about -PosIntNotFixnum.