flexfloat 0.1.1__py3-none-any.whl → 0.1.2__py3-none-any.whl

flexfloat/core.py

@@ -1,728 +1,728 @@
-"""Core FlexFloat class implementation."""
-
-from __future__ import annotations
-
-import math
-from typing import Final
-
-from .bitarray import BitArray
-from .types import Number
-
-LOG10_2: Final[float] = math.log10(2)
-
-
-class FlexFloat:
-    """A class to represent a floating-point number with growable exponent and
-    fixed-size fraction. This class is designed to handle very large or very
-    small numbers by adjusting the exponent dynamically. While keeping the
-    mantissa (fraction) fixed in size.
-
-    This class follows the IEEE 754 double-precision floating-point format,
-    but extends it to allow for a growable exponent and a fixed-size fraction.
-
-    Attributes:
-        sign (bool): The sign of the number (True for negative, False for positive).
-        exponent (BitArray): A growable bit array representing the exponent
-            (uses off-set binary representation).
-        fraction (BitArray): A fixed-size bit array representing the fraction
-            (mantissa) of the number.
-    """
-
-    def __init__(
-        self,
-        sign: bool = False,
-        exponent: BitArray | None = None,
-        fraction: BitArray | None = None,
-    ):
-        """Initialize a FlexFloat instance.
-
-        Args:
-            sign (bool): The sign of the number (True for negative, False for positive).
-            exponent (BitArray | None): The exponent bit array (If None, represents 0).
-            fraction (BitArray | None): The fraction bit array (If None, represents 0).
-        """
-        self.sign = sign
-        self.exponent = exponent if exponent is not None else BitArray.zeros(11)
-        self.fraction = fraction if fraction is not None else BitArray.zeros(52)
-
-    @classmethod
-    def from_float(cls, value: Number) -> FlexFloat:
-        """Create a FlexFloat instance from a number.
-
-        Args:
-            value (Number): The number to convert to FlexFloat.
-        Returns:
-            FlexFloat: A new FlexFloat instance representing the number.
-        """
-        value = float(value)
-        bits = BitArray.from_float(value)
-
-        return cls(sign=bits[0], exponent=bits[1:12], fraction=bits[12:64])
-
-    def to_float(self) -> float:
-        """Convert the FlexFloat instance back to a 64-bit float.
-
-        If float is bigger than 64 bits, it will truncate the value to fit.
-
-        Returns:
-            float: The floating-point number represented by the FlexFloat instance.
-        Raises:
-            ValueError: If the exponent or fraction lengths are not as expected.
-        """
-        if len(self.exponent) < 11 or len(self.fraction) < 52:
-            raise ValueError("Must be a standard 64-bit FlexFloat")
-
-        bits = BitArray([self.sign]) + self.exponent[:11] + self.fraction[:52]
-        return bits.to_float()
-
-    def __repr__(self) -> str:
-        """Return a string representation of the FlexFloat instance.
-
-        Returns:
-            str: A string representation of the FlexFloat instance.
-        """
-        return (
-            "FlexFloat("
-            f"sign={self.sign}, "
-            f"exponent={self.exponent}, "
-            f"fraction={self.fraction})"
-        )
-
-    def pretty(self) -> str:
-        """Return an easier to read string representation of the FlexFloat instance.
-        Mainly converts the exponent and fraction to integers for readability.
-
-        Returns:
-            str: A pretty string representation of the FlexFloat instance.
-        """
-        sign = "-" if self.sign else ""
-        exponent_value = self.exponent.to_signed_int() + 1
-        fraction_value = self.fraction.to_int()
-        return f"{sign}FlexFloat(exponent={exponent_value}, fraction={fraction_value})"
-
-    @classmethod
-    def nan(cls) -> FlexFloat:
-        """Create a FlexFloat instance representing NaN (Not a Number).
-
-        Returns:
-            FlexFloat: A new FlexFloat instance representing NaN.
-        """
-        exponent = BitArray.ones(11)
-        fraction = BitArray.ones(52)
-        return cls(sign=True, exponent=exponent, fraction=fraction)
-
-    @classmethod
-    def infinity(cls, sign: bool = False) -> FlexFloat:
-        """Create a FlexFloat instance representing Infinity.
-
-        Args:
-            sign (bool): Indicates if the infinity is negative.
-        Returns:
-            FlexFloat: A new FlexFloat instance representing Infinity.
-        """
-        exponent = BitArray.ones(11)
-        fraction = BitArray.zeros(52)
-        return cls(sign=sign, exponent=exponent, fraction=fraction)
-
-    @classmethod
-    def zero(cls) -> FlexFloat:
-        """Create a FlexFloat instance representing zero.
-
-        Returns:
-            FlexFloat: A new FlexFloat instance representing zero.
-        """
-        exponent = BitArray.zeros(11)
-        fraction = BitArray.zeros(52)
-        return cls(sign=False, exponent=exponent, fraction=fraction)
-
-    def _is_special_exponent(self) -> bool:
-        """Check if the exponent represents a special value (NaN or Infinity).
-
-        Returns:
-            bool: True if the exponent is at its maximum value, False otherwise.
-        """
-        # In IEEE 754, special values have all exponent bits set to 1
-        # This corresponds to the maximum value in the unsigned representation
-        # For signed offset binary, the maximum value is 2^(n-1) - 1
-        # where n is the number of bits
-        max_signed_value = (1 << (len(self.exponent) - 1)) - 1
-        return self.exponent.to_signed_int() == max_signed_value
-
-    def is_nan(self) -> bool:
-        """Check if the FlexFloat instance represents NaN (Not a Number).
-
-        Returns:
-            bool: True if the FlexFloat instance is NaN, False otherwise.
-        """
-        return self._is_special_exponent() and any(self.fraction)
-
-    def is_infinity(self) -> bool:
-        """Check if the FlexFloat instance represents Infinity.
-
-        Returns:
-            bool: True if the FlexFloat instance is Infinity, False otherwise.
-        """
-        return self._is_special_exponent() and not any(self.fraction)
-
-    def is_zero(self) -> bool:
-        """Check if the FlexFloat instance represents zero.
-
-        Returns:
-            bool: True if the FlexFloat instance is zero, False otherwise.
-        """
-        return not any(self.exponent) and not any(self.fraction)
-
-    def copy(self) -> FlexFloat:
-        """Create a copy of the FlexFloat instance.
-
-        Returns:
-            FlexFloat: A new FlexFloat instance with the same data as the original.
-        """
-        return FlexFloat(
-            sign=self.sign, exponent=self.exponent.copy(), fraction=self.fraction.copy()
-        )
-
-    def __str__(self) -> str:
-        """Float representation of the FlexFloat using a generic algorithm.
-
-        This implementation doesn't rely on Python's float conversion and instead
-        implements the formatting logic directly, making it work for any exponent size.
-
-        Currently, it only operates in scientific notation with 5 decimal places.
-        """
-        sign_str = "-" if self.sign else ""
-        # Handle special cases first
-        if self.is_nan():
-            return "nan"
-
-        if self.is_infinity():
-            return f"{sign_str}inf"
-
-        if self.is_zero():
-            return f"{sign_str}0.00000e+00"
-
-        exponent = self.exponent.to_signed_int() + 1
-
-        # Convert fraction to decimal value between 1 and 2
-        # (starting with 1.0 for the implicit leading bit)
-        mantissa = 1.0
-        for i, bit in enumerate(self.fraction):
-            if bit:
-                mantissa += 1.0 / (1 << (i + 1))
-
-        # To avoid overflow with very large exponents, work in log space
-        # log10(mantissa * 2^exponent) = log10(mantissa) + exponent * log10(2)
-        log10_mantissa = math.log10(mantissa)
-        log10_total = log10_mantissa + exponent * LOG10_2
-
-        decimal_exponent = int(log10_total)
-
-        log10_normalized = log10_total - decimal_exponent
-        normalized_mantissa = math.pow(10, log10_normalized)
-
-        # Ensure the mantissa is properly normalized (between 1.0 and 10.0)
-        while normalized_mantissa >= 10.0:
-            normalized_mantissa /= 10.0
-            decimal_exponent += 1
-        while normalized_mantissa < 1.0:
-            normalized_mantissa *= 10.0
-            decimal_exponent -= 1
-
-        # Format with 5 decimal places
-        return f"{sign_str}{normalized_mantissa:.5f}e{decimal_exponent:+03d}"
-
-    def __neg__(self) -> FlexFloat:
-        """Negate the FlexFloat instance."""
-        return FlexFloat(
-            sign=not self.sign,
-            exponent=self.exponent.copy(),
-            fraction=self.fraction.copy(),
-        )
-
-    @staticmethod
-    def _grow_exponent(exponent: int, exponent_length: int) -> int:
-        """Grow the exponent if it exceeds the maximum value for the current length.
-
-        Args:
-            exponent (int): The current exponent value.
-            exponent_length (int): The current length of the exponent in bits.
-        Returns:
-            int: The new exponent length if it needs to be grown, otherwise the same
-                length.
-        """
-        while True:
-            half = 1 << (exponent_length - 1)
-            min_exponent = -half
-            max_exponent = half - 1
-
-            if min_exponent <= exponent <= max_exponent:
-                break
-            exponent_length += 1
-
-        return exponent_length
-
-    def __add__(self, other: FlexFloat | Number) -> FlexFloat:
-        """Add two FlexFloat instances together.
-
-        Args:
-            other (FlexFloat | float | int): The other FlexFloat instance to add.
-        Returns:
-            FlexFloat: A new FlexFloat instance representing the sum.
-        """
-        if isinstance(other, Number):
-            other = FlexFloat.from_float(other)
-        if not isinstance(other, FlexFloat):
-            raise TypeError("Can only add FlexFloat instances.")
-
-        if self.sign != other.sign:
-            return self - (-other)
-
-        # OBJECTIVE: Add two FlexFloat instances together.
-        # https://www.sciencedirect.com/topics/computer-science/floating-point-addition
-        # and: https://cse.hkust.edu.hk/~cktang/cs180/notes/lec21.pdf
-        #
-        # Steps:
-        # 0. Handle special cases (NaN, Infinity).
-        # 1. Extract exponent and fraction bits.
-        # 2. Prepend leading 1 to form the mantissa.
-        # 3. Compare exponents.
-        # 4. Shift smaller mantissa if necessary.
-        # 5. Add mantissas.
-        # 6. Normalize mantissa and adjust exponent if necessary.
-        # 7. Grow exponent if necessary.
-        # 8. Round result.
-        # 9. Return new FlexFloat instance.
-
-        # Step 0: Handle special cases
-        if self.is_zero() or other.is_zero():
-            return self.copy() if other.is_zero() else other.copy()
-
-        if self.is_nan() or other.is_nan():
-            return FlexFloat.nan()
-
-        if self.is_infinity() and other.is_infinity():
-            return self.copy() if self.sign == other.sign else FlexFloat.nan()
-        if self.is_infinity() or other.is_infinity():
-            return self.copy() if self.is_infinity() else other.copy()
-
-        # Step 1: Extract exponent and fraction bits
-        exponent_self = self.exponent.to_signed_int() + 1
-        exponent_other = other.exponent.to_signed_int() + 1
-
-        # Step 2: Prepend leading 1 to form the mantissa
-        mantissa_self = [True] + self.fraction
-        mantissa_other = [True] + other.fraction
-
-        # Step 3: Compare exponents (self is always larger or equal)
-        if exponent_self < exponent_other:
-            exponent_self, exponent_other = exponent_other, exponent_self
-            mantissa_self, mantissa_other = mantissa_other, mantissa_self
-
-        # Step 4: Shift smaller mantissa if necessary
-        if exponent_self > exponent_other:
-            shift_amount = exponent_self - exponent_other
-            mantissa_other = mantissa_other.shift(shift_amount)
-
-        # Step 5: Add mantissas
-        assert (
-            len(mantissa_self) == 53
-        ), "Fraction must be 53 bits long. (1 leading bit + 52 fraction bits)"
-        assert len(mantissa_self) == len(mantissa_other), (
-            f"Mantissas must be the same length. Expected 53 bits, "
-            f"got {len(mantissa_other)} bits."
-        )
-
-        mantissa_result = BitArray.zeros(53)  # 1 leading bit + 52 fraction bits
-        carry = False
-        for i in range(52, -1, -1):
-            total = mantissa_self[i] + mantissa_other[i] + carry
-            mantissa_result[i] = total % 2 == 1
-            carry = total > 1
-
-        # Step 6: Normalize mantissa and adjust exponent if necessary
-        # Only need to normalize if there is a carry
-        if carry:
-            # Insert the carry bit and shift right
-            mantissa_result = mantissa_result.shift(1, fill=True)
-            exponent_self += 1
-
-        # Step 7: Grow exponent if necessary
-        exp_result_length = self._grow_exponent(exponent_self, len(self.exponent))
-        assert (
-            exponent_self - (1 << (exp_result_length - 1)) < 2
-        ), "Exponent growth should not exceed 1 bit."
-
-        exponent_result = BitArray.from_signed_int(exponent_self - 1, exp_result_length)
-        return FlexFloat(
-            sign=self.sign,
-            exponent=exponent_result,
-            fraction=mantissa_result[1:],  # Exclude leading bit
-        )
-
-    def __sub__(self, other: FlexFloat | Number) -> FlexFloat:
-        """Subtract one FlexFloat instance from another.
-
-        Args:
-            other (FlexFloat | float | int): The FlexFloat instance to subtract.
-        Returns:
-            FlexFloat: A new FlexFloat instance representing the difference.
-        """
-        if isinstance(other, Number):
-            other = FlexFloat.from_float(other)
-        if not isinstance(other, FlexFloat):
-            raise TypeError("Can only subtract FlexFloat instances.")
-
-        # If signs are different, subtraction becomes addition
-        if self.sign != other.sign:
-            return self + (-other)
-
-        # OBJECTIVE: Subtract two FlexFloat instances.
-        # Based on floating-point subtraction algorithms
-        #
-        # Steps:
-        # 0. Handle special cases (NaN, Infinity, zero).
-        # 1. Extract exponent and fraction bits.
-        # 2. Prepend leading 1 to form the mantissa.
-        # 3. Compare exponents and align mantissas.
-        # 4. Compare magnitudes to determine result sign.
-        # 5. Subtract mantissas (larger - smaller).
-        # 6. Normalize mantissa and adjust exponent if necessary.
-        # 7. Grow exponent if necessary.
-        # 8. Return new FlexFloat instance.
-
-        # Step 0: Handle special cases
-        if self.is_zero() or other.is_zero():
-            return self.copy() if other.is_zero() else -other.copy()
-
-        if self.is_nan() or other.is_nan():
-            return FlexFloat.nan()
-
-        if self.is_infinity() and other.is_infinity():
-            if self.sign == other.sign:
-                return FlexFloat.nan()  # inf - inf = NaN
-            return self.copy()  # inf - (-inf) = inf
-
-        if self.is_infinity():
-            return self.copy()
-
-        if other.is_infinity():
-            return -other
-
-        # Step 1: Extract exponent and fraction bits
-        exponent_self = self.exponent.to_signed_int() + 1
-        exponent_other = other.exponent.to_signed_int() + 1
-
-        # Step 2: Prepend leading 1 to form the mantissa
-        mantissa_self = [True] + self.fraction
-        mantissa_other = [True] + other.fraction
-
-        # Step 3: Align mantissas by shifting the smaller exponent
-        result_sign = self.sign
-        shift_amount = abs(exponent_self - exponent_other)
-        if exponent_self >= exponent_other:
-            mantissa_other = mantissa_other.shift(shift_amount)
-            result_exponent = exponent_self
-        else:
-            mantissa_self = mantissa_self.shift(shift_amount)
-            result_exponent = exponent_other
-
-        # Step 4: Compare magnitudes to determine which mantissa is larger
-        # Convert mantissas to integers for comparison
-        mantissa_self_int = mantissa_self.to_int()
-        mantissa_other_int = mantissa_other.to_int()
-
-        if mantissa_self_int >= mantissa_other_int:
-            larger_mantissa = mantissa_self
-            smaller_mantissa = mantissa_other
-            result_sign = self.sign
-        else:
-            larger_mantissa = mantissa_other
-            smaller_mantissa = mantissa_self
-            # Flip sign since we're computing -(smaller - larger)
-            result_sign = not self.sign
-
-        # Step 5: Subtract mantissas (larger - smaller)
-        assert (
-            len(larger_mantissa) == 53
-        ), "Mantissa must be 53 bits long. (1 leading bit + 52 fraction bits)"
-        assert len(larger_mantissa) == len(smaller_mantissa), (
-            f"Mantissas must be the same length. Expected 53 bits, "
-            f"got {len(smaller_mantissa)} bits."
-        )
-
-        mantissa_result = BitArray.zeros(53)
-        borrow = False
-        for i in range(52, -1, -1):
-            diff = int(larger_mantissa[i]) - int(smaller_mantissa[i]) - int(borrow)
-
-            mantissa_result[i] = diff % 2 == 1
-            borrow = diff < 0
-
-        assert not borrow, "Subtraction should not result in a negative mantissa."
-
-        # Step 6: Normalize mantissa and adjust exponent if necessary
-        # Find the first 1 bit (leading bit might have been canceled out)
-        leading_zero_count = next(
-            (i for i, bit in enumerate(mantissa_result) if bit), len(mantissa_result)
-        )
-
-        # Handle case where result becomes zero or denormalized
-        if leading_zero_count >= 53:
-            return FlexFloat.from_float(0.0)
-
-        if leading_zero_count > 0:
-            # Shift left to normalize
-            mantissa_result = mantissa_result.shift(-leading_zero_count)
-            result_exponent -= leading_zero_count
-
-        # Step 7: Grow exponent if necessary (handle underflow)
-        exp_result_length = self._grow_exponent(result_exponent, len(self.exponent))
-
-        exp_result = BitArray.from_signed_int(result_exponent - 1, exp_result_length)
-
-        return FlexFloat(
-            sign=result_sign,
-            exponent=exp_result,
-            fraction=mantissa_result[1:],  # Exclude leading bit
-        )
-
-    def __mul__(self, other: FlexFloat | Number) -> FlexFloat:
-        """Multiply two FlexFloat instances together.
-
-        Args:
-            other (FlexFloat | float | int): The other FlexFloat instance to multiply.
-        Returns:
-            FlexFloat: A new FlexFloat instance representing the product.
-        """
-        if isinstance(other, Number):
-            other = FlexFloat.from_float(other)
-        if not isinstance(other, FlexFloat):
-            raise TypeError("Can only multiply FlexFloat instances.")
-
-        # OBJECTIVE: Multiply two FlexFloat instances together.
-        # https://www.rfwireless-world.com/tutorials/ieee-754-floating-point-arithmetic
-        #
-        # Steps:
-        # 0. Handle special cases (NaN, Infinity, zero).
-        # 1. Calculate result sign (XOR of operand signs).
-        # 2. Extract and add exponents (subtract bias).
-        # 3. Multiply mantissas.
-        # 4. Normalize mantissa and adjust exponent if necessary.
-        # 5. Check for overflow/underflow.
-        # 6. Grow exponent if necessary.
-        # 7. Return new FlexFloat instance.
-
-        # Step 0: Handle special cases
-        if self.is_nan() or other.is_nan():
-            return FlexFloat.nan()
-
-        if self.is_zero() or other.is_zero():
-            return FlexFloat.zero()
-
-        if self.is_infinity() or other.is_infinity():
-            result_sign = self.sign ^ other.sign
-            return FlexFloat.infinity(sign=result_sign)
-
-        # Step 1: Calculate result sign (XOR of signs)
-        result_sign = self.sign ^ other.sign
-
-        # Step 2: Extract exponent and fraction bits
-        # Note: The stored exponent needs +1 to get the actual value (like in addition)
-        exponent_self = self.exponent.to_signed_int() + 1
-        exponent_other = other.exponent.to_signed_int() + 1
-
-        # Step 3: Add exponents
-        # When multiplying, we add the unbiased exponents
-        result_exponent = exponent_self + exponent_other
-
-        # Step 4: Multiply mantissas
-        # Prepend leading 1 to form the mantissa (1.fraction)
-        mantissa_self = [True] + self.fraction
-        mantissa_other = [True] + other.fraction
-
-        # Convert mantissas to integers for multiplication
-        mantissa_self_int = mantissa_self.to_int()
-        mantissa_other_int = mantissa_other.to_int()
-
-        # Multiply the mantissas
-        product = mantissa_self_int * mantissa_other_int
-
-        # Convert back to bit array
-        # The product will have up to 106 bits (53 + 53)
-        if product == 0:
-            return FlexFloat.zero()
-
-        product_bits = BitArray.zeros(106)
-        for i in range(105, -1, -1):
-            product_bits[i] = product & 1 == 1
-            product >>= 1
-            if product <= 0:
-                break
-
-        # Step 5: Normalize mantissa and adjust exponent if necessary
-        # Find the position of the most significant bit
-        msb_position = next((i for i, bit in enumerate(product_bits) if bit), None)
-
-        assert msb_position is not None, "Product should not be zero here."
-
-        # The mantissa multiplication gives us a result with 2 integer bits
-        # We need to normalize to have exactly 1 integer bit
-        # If MSB is at position 0, we have a 2-bit integer part (11.xxxxx)
-        # If MSB is at position 1, we have a 1-bit integer part (1.xxxxx)
-        if msb_position == 0:
-            result_exponent += 1
-        normalized_mantissa = product_bits[msb_position : msb_position + 53]
-
-        # Pad with zeros if we don't have enough bits
-        missing_bits = 53 - len(normalized_mantissa)
-        if missing_bits > 0:
-            normalized_mantissa += [False] * missing_bits
-
-        # Step 6: Grow exponent if necessary to accommodate the result
-        exp_result_length = max(len(self.exponent), len(other.exponent))
-
-        # Check if we need to grow the exponent to accommodate the result
-        exp_result_length = self._grow_exponent(result_exponent, exp_result_length)
-
-        exp_result = BitArray.from_signed_int(result_exponent - 1, exp_result_length)
-
-        return FlexFloat(
-            sign=result_sign,
-            exponent=exp_result,
-            fraction=normalized_mantissa[1:],  # Exclude leading bit
-        )
-
-    def __rmul__(self, other: Number) -> FlexFloat:
-        """Right-hand multiplication for Number types.
-
-        Args:
-            other (float | int): The number to multiply with this FlexFloat.
-        Returns:
-            FlexFloat: A new FlexFloat instance representing the product.
-        """
-        return self * other
-
-    def __truediv__(self, other: FlexFloat | Number) -> FlexFloat:
-        """Divide this FlexFloat by another FlexFloat or number.
-
-        Args:
-            other (FlexFloat | float | int): The divisor.
-        Returns:
-            FlexFloat: A new FlexFloat instance representing the quotient.
-        """
-        if isinstance(other, Number):
-            other = FlexFloat.from_float(other)
-        if not isinstance(other, FlexFloat):
-            raise TypeError("Can only divide FlexFloat instances.")
-
-        # OBJECTIVE: Divide two FlexFloat instances.
-        # https://www.rfwireless-world.com/tutorials/ieee-754-floating-point-arithmetic
-        #
-        # Steps:
-        # 0. Handle special cases (NaN, Infinity, zero).
-        # 1. Calculate result sign (XOR of operand signs).
-        # 2. Extract and subtract exponents (add bias).
-        # 3. Divide mantissas.
-        # 4. Normalize mantissa and adjust exponent if necessary.
-        # 5. Check for overflow/underflow.
-        # 6. Grow exponent if necessary.
-        # 7. Return new FlexFloat instance.
-
-        # Step 0: Handle special cases
-        if self.is_nan() or other.is_nan():
-            return FlexFloat.nan()
-
-        # Zero cases
-        if self.is_zero() and other.is_zero():
-            return FlexFloat.nan()  # 0 / 0 = NaN
-        if self.is_zero() and not other.is_zero():
-            return FlexFloat.zero()  # 0 / finite = 0
-        if not self.is_zero() and other.is_zero():
-            return FlexFloat.infinity(sign=self.sign ^ other.sign)  # finite / 0 = inf
-
-        # Infinity cases
-        if self.is_infinity() and other.is_infinity():
-            return FlexFloat.nan()  # inf / inf = NaN
-        if self.is_infinity():
-            return FlexFloat.infinity(sign=self.sign ^ other.sign)  # inf / finite = inf
-        if other.is_infinity():
-            return FlexFloat.zero()  # finite / inf = 0
-
-        # Step 1: Calculate result sign (XOR of signs)
-        result_sign = self.sign ^ other.sign
-
-        # Step 2: Extract exponent and fraction bits
-        # Note: The stored exponent needs +1 to get the actual value
-        # (like in multiplication)
-        exponent_self = self.exponent.to_signed_int() + 1
-        exponent_other = other.exponent.to_signed_int() + 1
-
-        # Step 3: Subtract exponents (for division, we subtract the divisor's exponent)
-        result_exponent = exponent_self - exponent_other
-
-        # Step 4: Divide mantissas
-        # Prepend leading 1 to form the mantissa (1.fraction)
-        mantissa_self = [True] + self.fraction
-        mantissa_other = [True] + other.fraction
-
-        # Convert mantissas to integers for division
-        mantissa_self_int = mantissa_self.to_int()
-        mantissa_other_int = mantissa_other.to_int()
-
-        # Normalize mantissa for division (avoid overflow) -> scale the dividend
-        if mantissa_self_int < mantissa_other_int:
-            scale_factor = 1 << 53
-            result_exponent -= 1  # Adjust exponent since result < 1.0
-        else:
-            scale_factor = 1 << 52
-        scaled_dividend = mantissa_self_int * scale_factor
-        quotient = scaled_dividend // mantissa_other_int
-
-        if quotient == 0:
-            return FlexFloat.zero()
-
-        # Convert quotient to BitArray for easier bit manipulation
-        quotient_bitarray = BitArray.zeros(64)  # Use a fixed size for consistency
-        temp_quotient = quotient
-        bit_pos = 63
-        while temp_quotient > 0 and bit_pos >= 0:
-            quotient_bitarray[bit_pos] = (temp_quotient & 1) == 1
-            temp_quotient >>= 1
-            bit_pos -= 1
-
-        # Step 5: Normalize mantissa and adjust exponent if necessary
-        # Find the position of the most significant bit (first 1)
-        msb_pos = next((i for i, bit in enumerate(quotient_bitarray) if bit), None)
-
-        if msb_pos is None:
-            return FlexFloat.zero()
-
-        # Extract exactly 53 bits starting from the MSB (1 integer + 52 fraction)
-        normalized_mantissa = quotient_bitarray[msb_pos : msb_pos + 53]
-        normalized_mantissa = normalized_mantissa.shift(
-            53 - len(normalized_mantissa), fill=False
-        )
-
-        # Step 6: Grow exponent if necessary to accommodate the result
-        exp_result_length = max(len(self.exponent), len(other.exponent))
-
-        # Check if we need to grow the exponent to accommodate the result
-        exp_result_length = self._grow_exponent(result_exponent, exp_result_length)
-
-        exp_result = BitArray.from_signed_int(result_exponent - 1, exp_result_length)
-
-        return FlexFloat(
-            sign=result_sign,
-            exponent=exp_result,
-            fraction=normalized_mantissa[1:],  # Exclude leading bit
-        )
-
-    def __rtruediv__(self, other: Number) -> FlexFloat:
-        """Right-hand division for Number types.
-
-        Args:
-            other (float | int): The number to divide by this FlexFloat.
-        Returns:
-            FlexFloat: A new FlexFloat instance representing the quotient.
-        """
-        return FlexFloat.from_float(other) / self
+"""Core FlexFloat class implementation."""
+
+from __future__ import annotations
+
+import math
+from typing import Final
+
+from .bitarray import BitArray
+from .types import Number
+
+LOG10_2: Final[float] = math.log10(2)
+
+
+class FlexFloat:
+    """A class to represent a floating-point number with growable exponent and
+    fixed-size fraction. This class is designed to handle very large or very
+    small numbers by adjusting the exponent dynamically. While keeping the
+    mantissa (fraction) fixed in size.
+
+    This class follows the IEEE 754 double-precision floating-point format,
+    but extends it to allow for a growable exponent and a fixed-size fraction.
+
+    Attributes:
+        sign (bool): The sign of the number (True for negative, False for positive).
+        exponent (BitArray): A growable bit array representing the exponent
+            (uses off-set binary representation).
+        fraction (BitArray): A fixed-size bit array representing the fraction
+            (mantissa) of the number.
+    """
+
+    def __init__(
+        self,
+        sign: bool = False,
+        exponent: BitArray | None = None,
+        fraction: BitArray | None = None,
+    ):
+        """Initialize a FlexFloat instance.
+
+        Args:
+            sign (bool): The sign of the number (True for negative, False for positive).
+            exponent (BitArray | None): The exponent bit array (If None, represents 0).
+            fraction (BitArray | None): The fraction bit array (If None, represents 0).
+        """
+        self.sign = sign
+        self.exponent = exponent if exponent is not None else BitArray.zeros(11)
+        self.fraction = fraction if fraction is not None else BitArray.zeros(52)
+
+    @classmethod
+    def from_float(cls, value: Number) -> FlexFloat:
+        """Create a FlexFloat instance from a number.
+
+        Args:
+            value (Number): The number to convert to FlexFloat.
+        Returns:
+            FlexFloat: A new FlexFloat instance representing the number.
+        """
+        value = float(value)
+        bits = BitArray.from_float(value)
+
+        return cls(sign=bits[0], exponent=bits[1:12], fraction=bits[12:64])
+
+    def to_float(self) -> float:
+        """Convert the FlexFloat instance back to a 64-bit float.
+
+        If float is bigger than 64 bits, it will truncate the value to fit.
+
+        Returns:
+            float: The floating-point number represented by the FlexFloat instance.
+        Raises:
+            ValueError: If the exponent or fraction lengths are not as expected.
+        """
+        if len(self.exponent) < 11 or len(self.fraction) < 52:
+            raise ValueError("Must be a standard 64-bit FlexFloat")
+
+        bits = BitArray([self.sign]) + self.exponent[:11] + self.fraction[:52]
+        return bits.to_float()
+
+    def __repr__(self) -> str:
+        """Return a string representation of the FlexFloat instance.
+
+        Returns:
+            str: A string representation of the FlexFloat instance.
+        """
+        return (
+            "FlexFloat("
+            f"sign={self.sign}, "
+            f"exponent={self.exponent}, "
+            f"fraction={self.fraction})"
+        )
+
+    def pretty(self) -> str:
+        """Return an easier to read string representation of the FlexFloat instance.
+        Mainly converts the exponent and fraction to integers for readability.
+
+        Returns:
+            str: A pretty string representation of the FlexFloat instance.
+        """
+        sign = "-" if self.sign else ""
+        exponent_value = self.exponent.to_signed_int() + 1
+        fraction_value = self.fraction.to_int()
+        return f"{sign}FlexFloat(exponent={exponent_value}, fraction={fraction_value})"
+
+    @classmethod
+    def nan(cls) -> FlexFloat:
+        """Create a FlexFloat instance representing NaN (Not a Number).
+
+        Returns:
+            FlexFloat: A new FlexFloat instance representing NaN.
+        """
+        exponent = BitArray.ones(11)
+        fraction = BitArray.ones(52)
+        return cls(sign=True, exponent=exponent, fraction=fraction)
+
+    @classmethod
+    def infinity(cls, sign: bool = False) -> FlexFloat:
+        """Create a FlexFloat instance representing Infinity.
+
+        Args:
+            sign (bool): Indicates if the infinity is negative.
+        Returns:
+            FlexFloat: A new FlexFloat instance representing Infinity.
+        """
+        exponent = BitArray.ones(11)
+        fraction = BitArray.zeros(52)
+        return cls(sign=sign, exponent=exponent, fraction=fraction)
+
+    @classmethod
+    def zero(cls) -> FlexFloat:
+        """Create a FlexFloat instance representing zero.
+
+        Returns:
+            FlexFloat: A new FlexFloat instance representing zero.
+        """
+        exponent = BitArray.zeros(11)
+        fraction = BitArray.zeros(52)
+        return cls(sign=False, exponent=exponent, fraction=fraction)
+
+    def _is_special_exponent(self) -> bool:
+        """Check if the exponent represents a special value (NaN or Infinity).
+
+        Returns:
+            bool: True if the exponent is at its maximum value, False otherwise.
+        """
+        # In IEEE 754, special values have all exponent bits set to 1
+        # This corresponds to the maximum value in the unsigned representation
+        # For signed offset binary, the maximum value is 2^(n-1) - 1
+        # where n is the number of bits
+        max_signed_value = (1 << (len(self.exponent) - 1)) - 1
+        return self.exponent.to_signed_int() == max_signed_value
+
+    def is_nan(self) -> bool:
+        """Check if the FlexFloat instance represents NaN (Not a Number).
+
+        Returns:
+            bool: True if the FlexFloat instance is NaN, False otherwise.
+        """
+        return self._is_special_exponent() and any(self.fraction)
+
+    def is_infinity(self) -> bool:
+        """Check if the FlexFloat instance represents Infinity.
+
+        Returns:
+            bool: True if the FlexFloat instance is Infinity, False otherwise.
+        """
+        return self._is_special_exponent() and not any(self.fraction)
+
+    def is_zero(self) -> bool:
+        """Check if the FlexFloat instance represents zero.
+
+        Returns:
+            bool: True if the FlexFloat instance is zero, False otherwise.
+        """
+        return not any(self.exponent) and not any(self.fraction)
+
+    def copy(self) -> FlexFloat:
+        """Create a copy of the FlexFloat instance.
+
+        Returns:
+            FlexFloat: A new FlexFloat instance with the same data as the original.
+        """
+        return FlexFloat(
+            sign=self.sign, exponent=self.exponent.copy(), fraction=self.fraction.copy()
+        )
+
+    def __str__(self) -> str:
+        """Float representation of the FlexFloat using a generic algorithm.
+
+        This implementation doesn't rely on Python's float conversion and instead
+        implements the formatting logic directly, making it work for any exponent size.
+
+        Currently, it only operates in scientific notation with 5 decimal places.
+        """
+        sign_str = "-" if self.sign else ""
+        # Handle special cases first
+        if self.is_nan():
+            return "nan"
+
+        if self.is_infinity():
+            return f"{sign_str}inf"
+
+        if self.is_zero():
+            return f"{sign_str}0.00000e+00"
+
+        exponent = self.exponent.to_signed_int() + 1
+
+        # Convert fraction to decimal value between 1 and 2
+        # (starting with 1.0 for the implicit leading bit)
+        mantissa = 1.0
+        for i, bit in enumerate(self.fraction):
+            if bit:
+                mantissa += 1.0 / (1 << (i + 1))
+
+        # To avoid overflow with very large exponents, work in log space
+        # log10(mantissa * 2^exponent) = log10(mantissa) + exponent * log10(2)
+        log10_mantissa = math.log10(mantissa)
+        log10_total = log10_mantissa + exponent * LOG10_2
+
+        decimal_exponent = int(log10_total)
+
+        log10_normalized = log10_total - decimal_exponent
+        normalized_mantissa = math.pow(10, log10_normalized)
+
+        # Ensure the mantissa is properly normalized (between 1.0 and 10.0)
+        while normalized_mantissa >= 10.0:
+            normalized_mantissa /= 10.0
+            decimal_exponent += 1
+        while normalized_mantissa < 1.0:
+            normalized_mantissa *= 10.0
+            decimal_exponent -= 1
+
+        # Format with 5 decimal places
+        return f"{sign_str}{normalized_mantissa:.5f}e{decimal_exponent:+03d}"
+
+    def __neg__(self) -> FlexFloat:
+        """Negate the FlexFloat instance."""
+        return FlexFloat(
+            sign=not self.sign,
+            exponent=self.exponent.copy(),
+            fraction=self.fraction.copy(),
+        )
+
+    @staticmethod
+    def _grow_exponent(exponent: int, exponent_length: int) -> int:
+        """Grow the exponent if it exceeds the maximum value for the current length.
+
+        Args:
+            exponent (int): The current exponent value.
+            exponent_length (int): The current length of the exponent in bits.
+        Returns:
+            int: The new exponent length if it needs to be grown, otherwise the same
+                length.
+        """
+        while True:
+            half = 1 << (exponent_length - 1)
+            min_exponent = -half
+            max_exponent = half - 1
+
+            if min_exponent <= exponent <= max_exponent:
+                break
+            exponent_length += 1
+
+        return exponent_length
+
+    def __add__(self, other: FlexFloat | Number) -> FlexFloat:
+        """Add two FlexFloat instances together.
+
+        Args:
+            other (FlexFloat | float | int): The other FlexFloat instance to add.
+        Returns:
+            FlexFloat: A new FlexFloat instance representing the sum.
+        """
+        if isinstance(other, Number):
+            other = FlexFloat.from_float(other)
+        if not isinstance(other, FlexFloat):
+            raise TypeError("Can only add FlexFloat instances.")
+
+        if self.sign != other.sign:
+            return self - (-other)
+
+        # OBJECTIVE: Add two FlexFloat instances together.
+        # https://www.sciencedirect.com/topics/computer-science/floating-point-addition
+        # and: https://cse.hkust.edu.hk/~cktang/cs180/notes/lec21.pdf
+        #
+        # Steps:
+        # 0. Handle special cases (NaN, Infinity).
+        # 1. Extract exponent and fraction bits.
+        # 2. Prepend leading 1 to form the mantissa.
+        # 3. Compare exponents.
+        # 4. Shift smaller mantissa if necessary.
+        # 5. Add mantissas.
+        # 6. Normalize mantissa and adjust exponent if necessary.
+        # 7. Grow exponent if necessary.
+        # 8. Round result.
+        # 9. Return new FlexFloat instance.
+
+        # Step 0: Handle special cases
+        if self.is_zero() or other.is_zero():
+            return self.copy() if other.is_zero() else other.copy()
+
+        if self.is_nan() or other.is_nan():
+            return FlexFloat.nan()
+
+        if self.is_infinity() and other.is_infinity():
+            return self.copy() if self.sign == other.sign else FlexFloat.nan()
+        if self.is_infinity() or other.is_infinity():
+            return self.copy() if self.is_infinity() else other.copy()
+
+        # Step 1: Extract exponent and fraction bits
+        exponent_self = self.exponent.to_signed_int() + 1
+        exponent_other = other.exponent.to_signed_int() + 1
+
+        # Step 2: Prepend leading 1 to form the mantissa
+        mantissa_self = [True] + self.fraction
+        mantissa_other = [True] + other.fraction
+
+        # Step 3: Compare exponents (self is always larger or equal)
+        if exponent_self < exponent_other:
+            exponent_self, exponent_other = exponent_other, exponent_self
+            mantissa_self, mantissa_other = mantissa_other, mantissa_self
+
+        # Step 4: Shift smaller mantissa if necessary
+        if exponent_self > exponent_other:
+            shift_amount = exponent_self - exponent_other
+            mantissa_other = mantissa_other.shift(shift_amount)
+
+        # Step 5: Add mantissas
+        assert (
+            len(mantissa_self) == 53
+        ), "Fraction must be 53 bits long. (1 leading bit + 52 fraction bits)"
+        assert len(mantissa_self) == len(mantissa_other), (
+            f"Mantissas must be the same length. Expected 53 bits, "
+            f"got {len(mantissa_other)} bits."
+        )
+
+        mantissa_result = BitArray.zeros(53)  # 1 leading bit + 52 fraction bits
+        carry = False
+        for i in range(52, -1, -1):
+            total = mantissa_self[i] + mantissa_other[i] + carry
+            mantissa_result[i] = total % 2 == 1
+            carry = total > 1
+
+        # Step 6: Normalize mantissa and adjust exponent if necessary
+        # Only need to normalize if there is a carry
+        if carry:
+            # Insert the carry bit and shift right
+            mantissa_result = mantissa_result.shift(1, fill=True)
+            exponent_self += 1
+
+        # Step 7: Grow exponent if necessary
+        exp_result_length = self._grow_exponent(exponent_self, len(self.exponent))
+        assert (
+            exponent_self - (1 << (exp_result_length - 1)) < 2
+        ), "Exponent growth should not exceed 1 bit."
+
+        exponent_result = BitArray.from_signed_int(exponent_self - 1, exp_result_length)
+        return FlexFloat(
+            sign=self.sign,
+            exponent=exponent_result,
+            fraction=mantissa_result[1:],  # Exclude leading bit
+        )
+
+    def __sub__(self, other: FlexFloat | Number) -> FlexFloat:
+        """Subtract one FlexFloat instance from another.
+
+        Args:
+            other (FlexFloat | float | int): The FlexFloat instance to subtract.
+        Returns:
+            FlexFloat: A new FlexFloat instance representing the difference.
+        """
+        if isinstance(other, Number):
+            other = FlexFloat.from_float(other)
+        if not isinstance(other, FlexFloat):
+            raise TypeError("Can only subtract FlexFloat instances.")
+
+        # If signs are different, subtraction becomes addition
+        if self.sign != other.sign:
+            return self + (-other)
+
+        # OBJECTIVE: Subtract two FlexFloat instances.
+        # Based on floating-point subtraction algorithms
+        #
+        # Steps:
+        # 0. Handle special cases (NaN, Infinity, zero).
+        # 1. Extract exponent and fraction bits.
+        # 2. Prepend leading 1 to form the mantissa.
+        # 3. Compare exponents and align mantissas.
+        # 4. Compare magnitudes to determine result sign.
+        # 5. Subtract mantissas (larger - smaller).
+        # 6. Normalize mantissa and adjust exponent if necessary.
+        # 7. Grow exponent if necessary.
+        # 8. Return new FlexFloat instance.
+
+        # Step 0: Handle special cases
+        if self.is_zero() or other.is_zero():
+            return self.copy() if other.is_zero() else -other.copy()
+
+        if self.is_nan() or other.is_nan():
+            return FlexFloat.nan()
+
+        if self.is_infinity() and other.is_infinity():
+            if self.sign == other.sign:
+                return FlexFloat.nan()  # inf - inf = NaN
+            return self.copy()  # inf - (-inf) = inf
+
+        if self.is_infinity():
+            return self.copy()
+
+        if other.is_infinity():
+            return -other
+
+        # Step 1: Extract exponent and fraction bits
+        exponent_self = self.exponent.to_signed_int() + 1
+        exponent_other = other.exponent.to_signed_int() + 1
+
+        # Step 2: Prepend leading 1 to form the mantissa
+        mantissa_self = [True] + self.fraction
+        mantissa_other = [True] + other.fraction
+
+        # Step 3: Align mantissas by shifting the smaller exponent
+        result_sign = self.sign
+        shift_amount = abs(exponent_self - exponent_other)
+        if exponent_self >= exponent_other:
+            mantissa_other = mantissa_other.shift(shift_amount)
+            result_exponent = exponent_self
+        else:
+            mantissa_self = mantissa_self.shift(shift_amount)
+            result_exponent = exponent_other
+
+        # Step 4: Compare magnitudes to determine which mantissa is larger
+        # Convert mantissas to integers for comparison
+        mantissa_self_int = mantissa_self.to_int()
+        mantissa_other_int = mantissa_other.to_int()
+
+        if mantissa_self_int >= mantissa_other_int:
+            larger_mantissa = mantissa_self
+            smaller_mantissa = mantissa_other
+            result_sign = self.sign
+        else:
+            larger_mantissa = mantissa_other
+            smaller_mantissa = mantissa_self
+            # Flip sign since we're computing -(smaller - larger)
+            result_sign = not self.sign
+
+        # Step 5: Subtract mantissas (larger - smaller)
+        assert (
+            len(larger_mantissa) == 53
+        ), "Mantissa must be 53 bits long. (1 leading bit + 52 fraction bits)"
+        assert len(larger_mantissa) == len(smaller_mantissa), (
+            f"Mantissas must be the same length. Expected 53 bits, "
+            f"got {len(smaller_mantissa)} bits."
+        )
+
+        mantissa_result = BitArray.zeros(53)
+        borrow = False
+        for i in range(52, -1, -1):
+            diff = int(larger_mantissa[i]) - int(smaller_mantissa[i]) - int(borrow)
+
+            mantissa_result[i] = diff % 2 == 1
+            borrow = diff < 0
+
+        assert not borrow, "Subtraction should not result in a negative mantissa."
+
+        # Step 6: Normalize mantissa and adjust exponent if necessary
+        # Find the first 1 bit (leading bit might have been canceled out)
+        leading_zero_count = next(
+            (i for i, bit in enumerate(mantissa_result) if bit), len(mantissa_result)
+        )
+
+        # Handle case where result becomes zero or denormalized
+        if leading_zero_count >= 53:
+            return FlexFloat.from_float(0.0)
+
+        if leading_zero_count > 0:
+            # Shift left to normalize
+            mantissa_result = mantissa_result.shift(-leading_zero_count)
+            result_exponent -= leading_zero_count
+
+        # Step 7: Grow exponent if necessary (handle underflow)
+        exp_result_length = self._grow_exponent(result_exponent, len(self.exponent))
+
+        exp_result = BitArray.from_signed_int(result_exponent - 1, exp_result_length)
+
+        return FlexFloat(
+            sign=result_sign,
+            exponent=exp_result,
+            fraction=mantissa_result[1:],  # Exclude leading bit
+        )
+
+    def __mul__(self, other: FlexFloat | Number) -> FlexFloat:
+        """Multiply two FlexFloat instances together.
+
+        Args:
+            other (FlexFloat | float | int): The other FlexFloat instance to multiply.
+        Returns:
+            FlexFloat: A new FlexFloat instance representing the product.
+        """
+        if isinstance(other, Number):
+            other = FlexFloat.from_float(other)
+        if not isinstance(other, FlexFloat):
+            raise TypeError("Can only multiply FlexFloat instances.")
+
+        # OBJECTIVE: Multiply two FlexFloat instances together.
+        # https://www.rfwireless-world.com/tutorials/ieee-754-floating-point-arithmetic
+        #
+        # Steps:
+        # 0. Handle special cases (NaN, Infinity, zero).
+        # 1. Calculate result sign (XOR of operand signs).
+        # 2. Extract and add exponents (subtract bias).
+        # 3. Multiply mantissas.
+        # 4. Normalize mantissa and adjust exponent if necessary.
+        # 5. Check for overflow/underflow.
+        # 6. Grow exponent if necessary.
+        # 7. Return new FlexFloat instance.
+
+        # Step 0: Handle special cases
+        if self.is_nan() or other.is_nan():
+            return FlexFloat.nan()
+
+        if self.is_zero() or other.is_zero():
+            return FlexFloat.zero()
+
+        if self.is_infinity() or other.is_infinity():
+            result_sign = self.sign ^ other.sign
+            return FlexFloat.infinity(sign=result_sign)
+
+        # Step 1: Calculate result sign (XOR of signs)
+        result_sign = self.sign ^ other.sign
+
+        # Step 2: Extract exponent and fraction bits
+        # Note: The stored exponent needs +1 to get the actual value (like in addition)
+        exponent_self = self.exponent.to_signed_int() + 1
+        exponent_other = other.exponent.to_signed_int() + 1
+
+        # Step 3: Add exponents
+        # When multiplying, we add the unbiased exponents
+        result_exponent = exponent_self + exponent_other
+
+        # Step 4: Multiply mantissas
+        # Prepend leading 1 to form the mantissa (1.fraction)
+        mantissa_self = [True] + self.fraction
+        mantissa_other = [True] + other.fraction
+
+        # Convert mantissas to integers for multiplication
+        mantissa_self_int = mantissa_self.to_int()
+        mantissa_other_int = mantissa_other.to_int()
+
+        # Multiply the mantissas
+        product = mantissa_self_int * mantissa_other_int
+
+        # Convert back to bit array
+        # The product will have up to 106 bits (53 + 53)
+        if product == 0:
+            return FlexFloat.zero()
+
+        product_bits = BitArray.zeros(106)
+        for i in range(105, -1, -1):
+            product_bits[i] = product & 1 == 1
+            product >>= 1
+            if product <= 0:
+                break
+
+        # Step 5: Normalize mantissa and adjust exponent if necessary
+        # Find the position of the most significant bit
+        msb_position = next((i for i, bit in enumerate(product_bits) if bit), None)
+
+        assert msb_position is not None, "Product should not be zero here."
+
+        # The mantissa multiplication gives us a result with 2 integer bits
+        # We need to normalize to have exactly 1 integer bit
+        # If MSB is at position 0, we have a 2-bit integer part (11.xxxxx)
+        # If MSB is at position 1, we have a 1-bit integer part (1.xxxxx)
+        if msb_position == 0:
+            result_exponent += 1
+        normalized_mantissa = product_bits[msb_position : msb_position + 53]
+
+        # Pad with zeros if we don't have enough bits
+        missing_bits = 53 - len(normalized_mantissa)
+        if missing_bits > 0:
+            normalized_mantissa += [False] * missing_bits
+
+        # Step 6: Grow exponent if necessary to accommodate the result
+        exp_result_length = max(len(self.exponent), len(other.exponent))
+
+        # Check if we need to grow the exponent to accommodate the result
+        exp_result_length = self._grow_exponent(result_exponent, exp_result_length)
+
+        exp_result = BitArray.from_signed_int(result_exponent - 1, exp_result_length)
+
+        return FlexFloat(
+            sign=result_sign,
+            exponent=exp_result,
+            fraction=normalized_mantissa[1:],  # Exclude leading bit
+        )
+
+    def __rmul__(self, other: Number) -> FlexFloat:
+        """Right-hand multiplication for Number types.
+
+        Args:
+            other (float | int): The number to multiply with this FlexFloat.
+        Returns:
+            FlexFloat: A new FlexFloat instance representing the product.
+        """
+        return self * other
+
+    def __truediv__(self, other: FlexFloat | Number) -> FlexFloat:
+        """Divide this FlexFloat by another FlexFloat or number.
+
+        Args:
+            other (FlexFloat | float | int): The divisor.
+        Returns:
+            FlexFloat: A new FlexFloat instance representing the quotient.
+        """
+        if isinstance(other, Number):
+            other = FlexFloat.from_float(other)
+        if not isinstance(other, FlexFloat):
+            raise TypeError("Can only divide FlexFloat instances.")
+
+        # OBJECTIVE: Divide two FlexFloat instances.
+        # https://www.rfwireless-world.com/tutorials/ieee-754-floating-point-arithmetic
+        #
+        # Steps:
+        # 0. Handle special cases (NaN, Infinity, zero).
+        # 1. Calculate result sign (XOR of operand signs).
+        # 2. Extract and subtract exponents (add bias).
+        # 3. Divide mantissas.
+        # 4. Normalize mantissa and adjust exponent if necessary.
+        # 5. Check for overflow/underflow.
+        # 6. Grow exponent if necessary.
+        # 7. Return new FlexFloat instance.
+
+        # Step 0: Handle special cases
+        if self.is_nan() or other.is_nan():
+            return FlexFloat.nan()
+
+        # Zero cases
+        if self.is_zero() and other.is_zero():
+            return FlexFloat.nan()  # 0 / 0 = NaN
+        if self.is_zero() and not other.is_zero():
+            return FlexFloat.zero()  # 0 / finite = 0
+        if not self.is_zero() and other.is_zero():
+            return FlexFloat.infinity(sign=self.sign ^ other.sign)  # finite / 0 = inf
+
+        # Infinity cases
+        if self.is_infinity() and other.is_infinity():
+            return FlexFloat.nan()  # inf / inf = NaN
+        if self.is_infinity():
+            return FlexFloat.infinity(sign=self.sign ^ other.sign)  # inf / finite = inf
+        if other.is_infinity():
+            return FlexFloat.zero()  # finite / inf = 0
+
+        # Step 1: Calculate result sign (XOR of signs)
+        result_sign = self.sign ^ other.sign
+
+        # Step 2: Extract exponent and fraction bits
+        # Note: The stored exponent needs +1 to get the actual value
+        # (like in multiplication)
+        exponent_self = self.exponent.to_signed_int() + 1
+        exponent_other = other.exponent.to_signed_int() + 1
+
+        # Step 3: Subtract exponents (for division, we subtract the divisor's exponent)
+        result_exponent = exponent_self - exponent_other
+
+        # Step 4: Divide mantissas
+        # Prepend leading 1 to form the mantissa (1.fraction)
+        mantissa_self = [True] + self.fraction
+        mantissa_other = [True] + other.fraction
+
+        # Convert mantissas to integers for division
+        mantissa_self_int = mantissa_self.to_int()
+        mantissa_other_int = mantissa_other.to_int()
+
+        # Normalize mantissa for division (avoid overflow) -> scale the dividend
+        if mantissa_self_int < mantissa_other_int:
+            scale_factor = 1 << 53
+            result_exponent -= 1  # Adjust exponent since result < 1.0
+        else:
+            scale_factor = 1 << 52
+        scaled_dividend = mantissa_self_int * scale_factor
+        quotient = scaled_dividend // mantissa_other_int
+
+        if quotient == 0:
+            return FlexFloat.zero()
+
+        # Convert quotient to BitArray for easier bit manipulation
+        quotient_bitarray = BitArray.zeros(64)  # Use a fixed size for consistency
+        temp_quotient = quotient
+        bit_pos = 63
+        while temp_quotient > 0 and bit_pos >= 0:
+            quotient_bitarray[bit_pos] = (temp_quotient & 1) == 1
+            temp_quotient >>= 1
+            bit_pos -= 1
+
+        # Step 5: Normalize mantissa and adjust exponent if necessary
+        # Find the position of the most significant bit (first 1)
+        msb_pos = next((i for i, bit in enumerate(quotient_bitarray) if bit), None)
+
+        if msb_pos is None:
+            return FlexFloat.zero()
+
+        # Extract exactly 53 bits starting from the MSB (1 integer + 52 fraction)
+        normalized_mantissa = quotient_bitarray[msb_pos : msb_pos + 53]
+        normalized_mantissa = normalized_mantissa.shift(
+            53 - len(normalized_mantissa), fill=False
+        )
+
+        # Step 6: Grow exponent if necessary to accommodate the result
+        exp_result_length = max(len(self.exponent), len(other.exponent))
+
+        # Check if we need to grow the exponent to accommodate the result
+        exp_result_length = self._grow_exponent(result_exponent, exp_result_length)
+
+        exp_result = BitArray.from_signed_int(result_exponent - 1, exp_result_length)
+
+        return FlexFloat(
+            sign=result_sign,
+            exponent=exp_result,
+            fraction=normalized_mantissa[1:],  # Exclude leading bit
+        )
+
+    def __rtruediv__(self, other: Number) -> FlexFloat:
+        """Right-hand division for Number types.
+
+        Args:
+            other (float | int): The number to divide by this FlexFloat.
+        Returns:
+            FlexFloat: A new FlexFloat instance representing the quotient.
+        """
+        return FlexFloat.from_float(other) / self