Symbol: vfp_estimate_sqrt_significand