So HKim is an irrational number?