returns 1 if the product is valid, 0 on overflow. negative factors are considered invalid.
source not stored for this graph (policy: none)
no outgoing calls
no test coverage detected