*. | Data.CReal.Internal |
.* | Data.CReal.Internal |
.*. | Data.CReal.Internal |
/. | Data.CReal.Internal |
alternateSign | Data.CReal.Internal |
atanBounded | Data.CReal.Internal |
atPrecision | Data.CReal.Internal, Data.CReal |
cosBounded | Data.CReal.Internal |
CR | Data.CReal.Internal |
CReal | Data.CReal.Internal, Data.CReal |
crealPrecision | Data.CReal.Internal, Data.CReal |
decimalDigitsAtPrecision | Data.CReal.Internal |
expBounded | Data.CReal.Internal |
isqrt | Data.CReal.Internal |
log10 | Data.CReal.Internal |
log2 | Data.CReal.Internal |
logBounded | Data.CReal.Internal |
mulBounded | Data.CReal.Internal |
mulBoundedL | Data.CReal.Internal |
powerSeries | Data.CReal.Internal |
rationalToDecimal | Data.CReal.Internal |
recipBounded | Data.CReal.Internal |
shiftL | Data.CReal.Internal |
shiftR | Data.CReal.Internal |
showAtPrecision | Data.CReal.Internal |
sinBounded | Data.CReal.Internal |