Add SignedInt trait with safe_neg and safe_abs methods
Document commented-out code