1#![doc(hidden)]
6#![unstable(
7    feature = "core_private_diy_float",
8    reason = "internal routines only exposed for testing",
9    issue = "none"
10)]
11
12#[derive(Copy, Clone, Debug)]
14#[doc(hidden)]
15pub struct Fp {
16    pub f: u64,
18    pub e: i16,
20}
21
22impl Fp {
23    pub fn mul(self, other: Self) -> Self {
25        let (lo, hi) = self.f.widening_mul(other.f);
26        let f = hi + (lo >> 63) ;
27        let e = self.e + other.e + 64;
28        Self { f, e }
29    }
30
31    pub fn normalize(self) -> Self {
33        let lz = self.f.leading_zeros();
34        let f = self.f << lz;
35        let e = self.e - lz as i16;
36        debug_assert!(f >= (1 << 63));
37        Self { f, e }
38    }
39
40    pub fn normalize_to(self, e: i16) -> Self {
43        let edelta = self.e - e;
44        assert!(edelta >= 0);
45        let edelta = edelta as usize;
46        assert_eq!(self.f << edelta >> edelta, self.f);
47        Self { f: self.f << edelta, e }
48    }
49}