Symbol: vfp_get_float