.thumb
	.text
	.align 2
	.global Float_IsInf
	.thumb_func
Float_IsInf:
	.short 0xB500
	.short 0x1C02
	.short 0x2001
	.short 0x4008
	.short 0x2800
	.short 0xD002
	.short 0x1C10
	.short 0xF7F6
	.short 0xFC17
	.short 0xBC01
	.short 0x4700
	.short 0x0000
	.short 0xB500
	.short 0x1C02
	.short 0x4805
	.short 0x6390
	.short 0x2001
	.short 0x4008
	.short 0x2800
	.short 0xD002
	.short 0x1C10
	.short 0xF7F6
	.short 0xFC09
	.short 0xBC01
	.short 0x4700
	.short 0x0000
	.short 0x0960
	.short 0x0200
	.short 0xB500
	.short 0x1C02
	.short 0x4805
	.short 0x6050
	.short 0x2001
	.short 0x4008
	.short 0x2800
	.short 0xD002
	.short 0x1C10
	.short 0xF7F6
	.short 0xFBF9
	.short 0xBC01
	.short 0x4700
	.short 0x0000
	.short 0x09D8
	.short 0x0200
	.short 0xB500
	.short 0x1C02
	.short 0x4805
	.short 0x6050
	.short 0x2001
	.short 0x4008
	.short 0x2800
	.short 0xD002
	.short 0x1C10
	.short 0xF7F6
	.short 0xFBE9
	.short 0xBC01
	.short 0x4700
	.short 0x0000
	.short 0x09D8
	.short 0x0200
	.short 0xB500
	.short 0x1C02
	.short 0x4805
	.short 0x6050
	.short 0x2001
	.short 0x4008
	.short 0x2800
	.short 0xD002
	.short 0x1C10
	.short 0xF7F6
	.short 0xFBD9
	.short 0xBC01
	.short 0x4700
	.short 0x0000
	.short 0x09D8
	.short 0x0200
	.short 0xB500
	.short 0x1C02
	.short 0x4805
	.short 0x6050
	.short 0x2001
	.short 0x4008
	.short 0x2800
	.short 0xD002
	.short 0x1C10
	.short 0xF7F6
	.short 0xFBC9
	.short 0xBC01
	.short 0x4700
	.short 0x0000
	.short 0x09D8
	.short 0x0200
	.short 0xB500
	.short 0x1C02
	.short 0x4805
	.short 0x6050
	.short 0x2001
	.short 0x4008
	.short 0x2800
	.short 0xD002
	.short 0x1C10
	.short 0xF7F6
	.short 0xFBB9
	.short 0xBC01
	.short 0x4700
	.short 0x0000
	.short 0x09D8
	.short 0x0200
	.short 0xB500
	.short 0x1C02
	.short 0x4805
	.short 0x6050
	.short 0x2001
	.short 0x4008
	.short 0x2800
	.short 0xD002
	.short 0x1C10
	.short 0xF7F6
	.short 0xFBA9
	.short 0xBC01
	.short 0x4700
	.short 0x0000
	.short 0x09D8
	.short 0x0200
	.short 0x4770
	.short 0x0000
	.short 0x4770
	.short 0x0000
	.short 0x4770
	.short 0x0000
	.short 0x4770
	.short 0x0000
	.short 0x4770
	.short 0x0000