23.1.7 Floating-point conversion instructions