Merge pull request #8195 from tautschnig/bugfixes/math-lib #23

Job	Run time
check-ubuntu-20_04-cmake-gcc	39m 45s
check-ubuntu-20_04-make-clang	35m 17s
check-ubuntu-20_04-make-clang-smt-z3	15m 1s
check-ubuntu-22_04-cmake-gcc	37m 55s
check-ubuntu-20_04-make-gcc	35m 58s
check-ubuntu-22_04-cmake-gcc-13	37m 59s
check-ubuntu-22_04-cmake-gcc-32bit	37m 45s
check-ubuntu-22_04-make-clang	37m 52s
check-docker-image	23m 2s
check-macos-11-make-clang	1h 21m 50s
check-macos-12-cmake-clang	1h 4m 36s
check-string-table	2m 39s
check-ubuntu-20_04-cmake-gcc-KNOWNBUG	22m 17s
check-ubuntu-20_04-cmake-gcc-THOROUGH	25m 18s
check-vs-2019-cmake-build-and-test	1h 11m 31s
check-vs-2022-make-build-and-test	1h 9m 54s
include-what-you-use	26m 22s
windows-msi-package	22m 7s
codecov-coverage-report	1h 4m 5s
	12h 31m 13s

Provide feedback