Introduce floatbv_round_to_integral_exprt
#3675
| Job | Run time |
|---|---|
| 10m 50s | |
| 9m 46s | |
| 20m 36s |
floatbv_round_to_integral_exprt
#3675
| Job | Run time |
|---|---|
| 10m 50s | |
| 9m 46s | |
| 20m 36s |