Symbol: Dbl_is_signalingnan