fix float on RPi