Fix for latest rust master

float doesn't exist anymore