Return approximately a * b - 1 given |a|, |b| < 2**970 and a * b is very near 1. */
source not stored for this graph (policy: none)
no outgoing calls
no test coverage detected