Return a - b with relative error below 2**-103 and then rounded to double given |b| < |a|. */
source not stored for this graph (policy: none)
no outgoing calls
no test coverage detected