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