In some places we need to check if the number NUM is almost zero. Specifically, all but the last digit is 0 and the last digit is 1. Last digit is defined by scale.
source not stored for this graph (policy: none)
no outgoing calls
no test coverage detected