f64 ^ float(i64)
