1 /* This file is distributed under the University of Illinois Open Source
2  * License. See LICENSE.TXT for details.
3  */
4 
5 #ifdef __x86_64__
6 
7 #include "../int_lib.h"
8 
__floatdisf(int64_t a)9 float __floatdisf(int64_t a)
10 {
11 	return (float)a;
12 }
13 
14 #endif /* __x86_64__ */
15