Python 3 fix for the user function docstring creation in the prompt UI mode.
Again this is the problem of a division now returning a float rather than an int.
Authored by: bugman 2012-10-02
Parent: [r17670]
Child: [r17672]
