Fix an bug in operate_float

Uh, it was empty before this patch...