Merge branch 'double-precision-interface'

10 jobs for master in 375 minutes and 42 seconds (queued for 2 seconds)
Status Job ID Name Coverage
  Test
passed #9983
i386 jessie debian
debian_jessie_i386_deb

00:35:48

passed #9984
x86_64 jessie debian
debian_jessie_x86_64_deb

00:38:08

passed #9985
x86_64 stretch debian
debian_stretch_x86_64_deb

00:47:53

passed #9989
dmg v10.11 osx
osx_10.11_x86_64_dmg

00:20:15

passed #9990
dmg v10.8 osx
osx_10.8_x86_64_dmg

00:19:12

passed #9992
stretch arm raspbian
raspbian_stretch_armv7l_deb

01:14:44

passed #9986
i386 v14.04 ubuntu
ubuntu_14.04_i386_deb

00:40:55

passed #9987
x86_64 v14.04 ubuntu
ubuntu_14.04_x86_64_deb

00:35:12

passed #9988
x86_64 v16.04 ubuntu
ubuntu_16.04_x86_64_deb

00:47:44

passed #9991
i386 windows
windows_i386_innosetup

01:30:27