tweak RTO result

src/fixed/ops.rs

@@ -30,7 +30,12 @@ rounded_1ary_impl!(RoundedAbs, format_abs, abs, mpfr_abs);
 rounded_1ary_impl!(RoundedSqrt, format_sqrt, sqrt, mpfr_sqrt);
 rounded_1ary_impl!(RoundedCbrt, format_cbrt, cbrt, mpfr_cbrt);
 rounded_1ary_impl!(RoundedRecip, format_recip, recip, mpfr_recip);
-rounded_1ary_impl!(RoundedRecipSqrt, format_recip_sqrt, recip_sqrt, mpfr_recip_sqrt);
+rounded_1ary_impl!(
+    RoundedRecipSqrt,
+    format_recip_sqrt,
+    recip_sqrt,
+    mpfr_recip_sqrt
+);
 rounded_1ary_impl!(RoundedExp, format_exp, exp, mpfr_exp);
 rounded_1ary_impl!(RoundedExp2, format_exp2, exp2, mpfr_exp2);
 rounded_1ary_impl!(RoundedLog, format_log, log, mpfr_log);

src/float/ops.rs

@@ -30,7 +30,12 @@ rounded_1ary_impl!(RoundedAbs, format_abs, abs, mpfr_abs);
 rounded_1ary_impl!(RoundedSqrt, format_sqrt, sqrt, mpfr_sqrt);
 rounded_1ary_impl!(RoundedCbrt, format_cbrt, cbrt, mpfr_cbrt);
 rounded_1ary_impl!(RoundedRecip, format_recip, recip, mpfr_recip);
-rounded_1ary_impl!(RoundedRecipSqrt, format_recip_sqrt, recip_sqrt, mpfr_recip_sqrt);
+rounded_1ary_impl!(
+    RoundedRecipSqrt,
+    format_recip_sqrt,
+    recip_sqrt,
+    mpfr_recip_sqrt
+);
 rounded_1ary_impl!(RoundedExp, format_exp, exp, mpfr_exp);
 rounded_1ary_impl!(RoundedExp2, format_exp2, exp2, mpfr_exp2);
 rounded_1ary_impl!(RoundedLog, format_log, log, mpfr_log);

src/ieee754/ops.rs

@@ -51,7 +51,12 @@ rounded_1ary_impl!(RoundedAbs, format_abs, abs, mpfr_abs);
 rounded_1ary_impl!(RoundedSqrt, format_sqrt, sqrt, mpfr_sqrt);
 rounded_1ary_impl!(RoundedCbrt, format_cbrt, cbrt, mpfr_cbrt);
 rounded_1ary_impl!(RoundedRecip, format_recip, recip, mpfr_recip);
-rounded_1ary_impl!(RoundedRecipSqrt, format_recip_sqrt, recip_sqrt, mpfr_recip_sqrt);
+rounded_1ary_impl!(
+    RoundedRecipSqrt,
+    format_recip_sqrt,
+    recip_sqrt,
+    mpfr_recip_sqrt
+);
 rounded_1ary_impl!(RoundedExp, format_exp, exp, mpfr_exp);
 rounded_1ary_impl!(RoundedExp2, format_exp2, exp2, mpfr_exp2);
 rounded_1ary_impl!(RoundedLog, format_log, log, mpfr_log);

src/math.rs

@@ -26,6 +26,15 @@ pub struct RTOResult {
 }
 
 impl RTOResult {
+    /// Constructs an [`RTOResult`] from an MPFR result.
+    pub fn new(val: Float, t: i32, flags: MPFRFlags, prec: usize) -> Self {
+        Self {
+            num: RFloat::from(val).with_ternary(t),
+            prec,
+            flags,
+        }
+    }
+
     /// The numerical result of an operation.
     pub fn num(&self) -> &RFloat {
         &self.num
@@ -87,12 +96,8 @@ macro_rules! mpfr_1ary {
                 (t, mpfr_flags())
             };
 
-            // apply correction to get the last bit and compose
-            RTOResult {
-                num: RFloat::from(dst).with_ternary(t),
-                prec: p,
-                flags,
-            }
+            // compose result
+            RTOResult::new(dst, t, flags, p)
         }
     };
 }
@@ -126,12 +131,8 @@ macro_rules! mpfr_2ary {
                 (t, mpfr_flags())
             };
 
-            // apply correction to get the last bit and compose
-            RTOResult {
-                num: RFloat::from(dst).with_ternary(t),
-                prec: p,
-                flags,
-            }
+            // compose result
+            RTOResult::new(dst, t, flags, p)
         }
     };
 }
@@ -167,12 +168,8 @@ macro_rules! mpfr_3ary {
                 (t, mpfr_flags())
             };
 
-            // apply correction to get the last bit and compose
-            RTOResult {
-                num: RFloat::from(dst).with_ternary(t),
-                prec: p,
-                flags,
-            }
+            // compose result
+            RTOResult::new(dst, t, flags, p)
         }
     };
 }

src/rfloat/round.rs

@@ -91,7 +91,7 @@ impl RFloatContext {
     }
 
     /// Clears the maximum allowable precision.
-    pub fn without_max_precision(mut self) -> Self {
+    pub fn without_max_p(mut self) -> Self {
         self.max_p = None;
         self
     }