Updated API in bob.math requires changes here, too

See bob.math!13 (merged)

created branch 24-updated-api-in-bob-math-requires-changes-here-too

mentioned in merge request !25 (merged)

closed via commit 61a31463

mentioned in commit 61a31463

mentioned in merge request bob.measure!37 (merged)