Round FP value to integral.
(rm: FPRMRef, a: FPRef, ctx: Context | None = None)
| 3521 | |
| 3522 | |
| 3523 | def fpRoundToIntegral(rm: FPRMRef, a: FPRef, ctx: Context | None = None) -> FPRef: |
| 3524 | """Round FP value to integral.""" |
| 3525 | return _fp_op("fpRoundToIntegral", rm, a) |
| 3526 | |
| 3527 | |
| 3528 | def fpToIEEEBV(a: FPRef, ctx: Context | None = None) -> BitVecRef: |