float(1 ^ f64)
