P
Initializing...
nonNegative maps the Java longs exactly two-to-one onto [0, 2^63) · Prove2Me