Merge branch 'master' into 'master'

better widening operator for intervals

See merge request !2
3 jobs for master in 97 minutes and 7 seconds (queued for 2 seconds)
Status Job ID Name Coverage
  Dependencies
passed #338298
stack-dependencies

00:28:08

 
  Build
passed #338299
stack-build

00:34:55

 
  Test
passed #338300
stack-test

00:34:03