| .data | |
| # .tfloat is 80-bit floating point format. | |
| .tfloat 3.32192809488736218171e0 | |
| # .byte 0x0, 0x88, 0x1b, 0xcd, 0x4b, 0x78, 0x9a, 0xd4, 0x0, 0x40 | |
| # .double is 64-bit floating point format. | |
| .double 3.32192809488736218171e0 | |
| # .byte 0x71, 0xa3, 0x79, 0x09, 0x4f, 0x93, 0x0a, 0x40 | |
| # The next two are 32-bit floating point format. | |
| .float 3.32192809488736218171e0 | |
| # .byte 0x78, 0x9a, 0x54, 0x40, 0, 0, 0, 0 | |
| .single 3.32192809488736218171e0 | |
| # .byte 0x78, 0x9a, 0x54, 0x40, 0, 0, 0, 0 | |
| .byte 0, 0, 0, 0, 0, 0 |