So, should `Tfloat80` be renamed?  Do we actually support any platforms with 128-bit reals or is the speculative?