[ia64] Add a big-endian version of the ia64-ext floatformat