fix broken float() support