Module sapling_crypto_ce::circuit::float_point

Functions

convert_to_float
parse_float_to_u128
parse_with_exponent_le	Takes a bit decomposition, parses and packs into an AllocatedNum If exponent is equal to zero, then exponent multiplier is equal to 1