Closed benesch closed 5 years ago
Fix #15.
Discussed with @benesch and @ryzhyk: going to abandon this PR in favor of mainlining nonzero signed integers.
Fix #15.