Struct FullMath 

pub struct FullMath;

Contains 512-bit math functions for Uniswap V3 style calculations Handles “phantom overflow” - allows multiplication and division where intermediate values overflow 256 bits

Implementations

impl FullMath

pub fn mul_div(a: U256, b: U256, denominator: U256) -> Result<U256>

Calculates floor(a×b÷denominator) with full precision

Errors

Returns error if denominator is zero or the result would overflow 256 bits.

pub fn mul_div_rounding_up(a: U256, b: U256, denominator: U256) -> Result<U256>

Calculates ceil(a×b÷denominator) with full precision Returns Ok with the rounded result or an error when rounding cannot be performed safely.

Errors

Returns error if denominator is zero or the rounded result would overflow U256.

pub fn div_rounding_up(a: U256, b: U256) -> Result<U256>

Calculates ceil(a÷b) with proper rounding up Equivalent to Solidity’s divRoundingUp function

Errors

Returns error if b is zero or if the rounded quotient would overflow U256.

pub fn sqrt(x: U256) -> U256

Computes the integer square root of a 256-bit unsigned integer using the Babylonian method

pub fn truncate_to_u128(value: U256) -> u128

Truncates a U256 value to u128 by extracting the lower 128 bits.

This matches Solidity’s uint128(value) cast behavior, which discards the upper 128 bits. If the value is larger than u128::MAX, the upper bits are lost.

pub fn truncate_to_u256(value: I256) -> U256

Converts an I256 signed integer to U256, mimicking Solidity’s uint256(int256) cast.

This performs a reinterpret cast, preserving the bit pattern:

• Positive values: returns the value as-is
• Negative values: returns the two’s complement representation as unsigned

pub fn truncate_to_i256(value: U256) -> I256

Converts a U256 unsigned integer to I256, mimicking Solidity’s int256(uint256) cast.

This performs a reinterpret cast, preserving the bit pattern. Solidity’s SafeCast.toInt256() checks the value fits in I256::MAX, then reinterprets.

Panics

Panics if the value exceeds I256::MAX (matching Solidity’s require check)

Trait Implementations

impl Debug for FullMath

fn fmt(&self, f: &mut Formatter<'_>) -> Result

Formats the value using the given formatter.