Skip to main content

commit_rational_to_decimal

lemma

Function commit_rational_to_decimal 

Source 
pub fn commit_rational_to_decimal(
    rational: &RationalInteger,
) -> Result<Decimal, NumericFailure>
Expand description

Commit a rational to stored Decimal with a single division (finite precision).