$tpd_++IEEE_64bit_floating_point++