update mmio backend to work with double precision

21 jobs for update-mmio in 406 minutes and 45 seconds (queued for 728 minutes and 56 seconds)
Status Job ID Name Coverage
  Test
passed #10178
debian jessie i386
debian_jessie_i386_deb

00:28:35

passed #10179
debian jessie x86_64
debian_jessie_x86_64_deb

00:34:28

passed #10177
debian stretch x86_64
debian_stretch_x86_64_deb

00:32:37

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

00:19:29

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

00:20:26

passed #10186
stretch arm raspbian
raspbian_stretch_armv7l_deb

01:03:17

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

00:37:45

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

00:34:29

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

00:45:59

passed #10166
windows i386
windows_i386_innosetup

01:29:35

failed #10146
i386 jessie debian
debian_jessie_i386_deb

failed #10147
x86_64 jessie debian
debian_jessie_x86_64_deb

failed #10148
x86_64 stretch debian
debian_stretch_x86_64_deb

failed #10152
dmg v10.11 osx
osx_10.11_x86_64_dmg

failed #10153
dmg v10.8 osx
osx_10.8_x86_64_dmg

failed #10155
stretch arm raspbian
raspbian_stretch_armv7l_deb

failed #10185
raspbian arm stretch
raspbian_stretch_armv7l_deb

failed #10149
i386 v14.04 ubuntu
ubuntu_14.04_i386_deb

failed #10150
x86_64 v14.04 ubuntu
ubuntu_14.04_x86_64_deb

failed #10151
x86_64 v16.04 ubuntu
ubuntu_16.04_x86_64_deb

failed #10154
i386 windows
windows_i386_innosetup