This fixes #7610.  It has been moved to a function called signedInt().
This fixes #7609.  It now returns a signed number.