Crypto.Fi
type FPrime
eq
add
addr
sub
subr
neg
shift
mul
mulr
redc
square
pow
inv
fromInteger
toInteger
testBit
condBit