Symbol: dbl_fsqrt