max(f64) ^ 1 ^ i64
