	.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
