net library port numbers

[George Russell]

Socket.accept function returns a PortNumber as its third argument.  (This
is not what the interface comment says, but the comment is wrong.)  However
I can't find any way of extracting the contents of the PortNumber to an
integer.