Symbol: Dbl_setnegativezerop1