Law: Signed.signum(a) returns -1/0/1.
Law: Signed.sign(a).toInt == Signed.signum(a).