max(f64 ^ i64)
