KNI_RETURNTYPE_FLOAT Java_java_lang_Float_intBitsToFloat() { return float_from_bits(KNI_GetParameterAsInt(1)); }
INLINE float minval_f32() { return float_from_bits(0x00800000); }
INLINE float maxval_f32() { return float_from_bits(0x7f7fffff); }
INLINE float inf_f32() { return float_from_bits(0x7f800000); }
INLINE float neg_inf_f32() { return float_from_bits(0xff800000); }
INLINE float nan_f32() { return float_from_bits(0x7fc00000); }