Support for entering 32bits IEEE754 values
Hi, Unfortunately, I got the same problems on a fresh VM install of a Debian 8 on...