Fix realnum parsing.

It now no longer rejects e.g. "2" as a realnum.