Merge branch 'port-float-symbol-method'

6 jobs for master in 296 minutes and 1 second (queued for 4 minutes and 32 seconds)
Status Name Job ID Coverage
  Test
passed debian_stretch_x86_64_deb #17298
debian stretch x86_64

00:32:36

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

00:17:03

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

00:19:51

passed raspbian_stretch_armv7l_deb #17303
raspbian arm stretch

01:23:56

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

00:32:54

passed windows_i386_innosetup #17302
windows i386

01:49:38