test: add extra sign tests to check +0.0 and -0.0

Author: ruancomelli

library/coretests/tests/num/mod.rs

@@ -928,7 +928,9 @@ macro_rules! test_float {
             #[cfg(not(bootstrap))]
             fn floor() {
                 $fassert!((0.0 as $fty).floor(), 0.0);
+                $fassert!((0.0 as $fty).floor().is_sign_positive());
                 $fassert!((-0.0 as $fty).floor(), -0.0);
+                $fassert!((0.0 as $fty).floor().is_sign_negative());
                 $fassert!((0.5 as $fty).floor(), 0.0);
                 $fassert!((-0.5 as $fty).floor(), -1.0);
                 $fassert!((1.5 as $fty).floor(), 1.0);
@@ -944,7 +946,9 @@ macro_rules! test_float {
             #[cfg(not(bootstrap))]
             fn ceil() {
                 $fassert!((0.0 as $fty).ceil(), 0.0);
+                $fassert!((0.0 as $fty).ceil().is_sign_positive());
                 $fassert!((-0.0 as $fty).ceil(), 0.0);
+                $fassert!((-0.0 as $fty).ceil().is_sign_negative());
                 $fassert!((0.5 as $fty).ceil(), 1.0);
                 $fassert!((-0.5 as $fty).ceil(), 0.0);
                 $fassert!(($max as $fty).ceil(), $max);
@@ -959,7 +963,9 @@ macro_rules! test_float {
             #[cfg(not(bootstrap))]
             fn round() {
                 $fassert!((0.0 as $fty).round(), 0.0);
+                $fassert!((0.0 as $fty).round().is_sign_positive());
                 $fassert!((-0.0 as $fty).round(), 0.0);
+                $fassert!((-0.0 as $fty).round().is_sign_negative());
                 $fassert!((0.5 as $fty).round(), 1.0);
                 $fassert!((-0.5 as $fty).round(), -1.0);
                 $fassert!(($max as $fty).round(), $max);
@@ -974,9 +980,13 @@ macro_rules! test_float {
             #[cfg(not(bootstrap))]
             fn round_ties_even() {
                 $fassert!((0.0 as $fty).round_ties_even(), 0.0);
+                $fassert!((0.0 as $fty).round_ties_even().is_sign_positive());
                 $fassert!((-0.0 as $fty).round_ties_even(), 0.0);
+                $fassert!((-0.0 as $fty).round_ties_even().is_sign_negative());
                 $fassert!((0.5 as $fty).round_ties_even(), 0.0);
+                $fassert!((0.5 as $fty).round_ties_even().is_sign_positive());
                 $fassert!((-0.5 as $fty).round_ties_even(), -0.0);
+                $fassert!((-0.5 as $fty).round_ties_even().is_sign_negative());
                 $fassert!(($max as $fty).round_ties_even(), $max);
                 $fassert!(($min as $fty).round_ties_even(), $min);
                 $fassert!(($min_pos as $fty).round_ties_even(), 0.0);
@@ -989,9 +999,13 @@ macro_rules! test_float {
             #[cfg(not(bootstrap))]
             fn trunc() {
                 $fassert!((0.0 as $fty).trunc(), 0.0);
+                $fassert!((0.0 as $fty).trunc().is_sign_positive());
                 $fassert!((-0.0 as $fty).trunc(), -0.0);
+                $fassert!((-0.0 as $fty).trunc().is_sign_negative());
                 $fassert!((0.5 as $fty).trunc(), 0.0);
+                $fassert!((0.5 as $fty).trunc().is_sign_positive());
                 $fassert!((-0.5 as $fty).trunc(), -0.0);
+                $fassert!((-0.5 as $fty).trunc().is_sign_negative());
                 $fassert!(($max as $fty).trunc(), $max);
                 $fassert!(($min as $fty).trunc(), $min);
                 $fassert!(($min_pos as $fty).trunc(), 0.0);