Remove comment that no target supports 128-bit IEEE floats