Symbol: ctf_add_float