24.1.7 Floating-point conversion instructions