pub fn __floatundidf(a: u64) callconv(.c) f64
pub fn __floatundidf(a: u64) callconv(.c) f64 { return floatFromInt(f64, a); }