Introduce floatbv_round_to_integral_exprt
#10737
| Job | Run time |
|---|---|
| 20m 52s | |
| 53m 7s | |
| 1h 9m 49s | |
| 2m 7s | |
| 31m 29s | |
| 18m 48s | |
| 23m 55s | |
| 25m 58s | |
| 6m 59s | |
| 34m 4s | |
| 28m 51s | |
| 29m 41s | |
| 32m 26s | |
| 28m 53s | |
| 47m 59s | |
| 35m 40s | |
| 22m 13s | |
| 23m 0s | |
| 8h 55m 51s |