1	.data
2# .tfloat is 80-bit floating point format.
3	.tfloat 3.32192809488736218171e0
4#	.byte 0x0, 0x88, 0x1b, 0xcd, 0x4b, 0x78, 0x9a, 0xd4, 0x0, 0x40
5# .double is 64-bit floating point format.
6	.double 3.32192809488736218171e0
7#	.byte 0x71, 0xa3, 0x79, 0x09, 0x4f, 0x93, 0x0a, 0x40
8# The next two are 32-bit floating point format.
9	.float 3.32192809488736218171e0
10#	.byte 0x78, 0x9a, 0x54, 0x40, 0, 0, 0, 0
11	.single 3.32192809488736218171e0
12#	.byte 0x78, 0x9a, 0x54, 0x40, 0, 0, 0, 0
13	.byte 0, 0, 0, 0, 0, 0
14