pub fn __floatuntisf(a: u128) callconv(.c) f32
pub fn __floatuntisf(a: u128) callconv(.c) f32 { return floatFromInt(f32, a); }