Merge pull request #3120 from lingium/feature/issue-3119-beta-neg-bin… #4447

Job	Run time
mix/fun tests 1	2h 14m 34s
prim and rev tests	2h 54m 33s
fwd tests and non-fun mix tests	1h 1m 25s
mix/fun tests 2	1h 35m 58s
	7h 46m 30s

Provide feedback