float(f64 ^ f64)
