Delegate number parsing to Python.

And hope I got the syntax right.