[math-fun] Observation on 2^64