しかしどうやっても Int64 を生成できないのが問題だ。
実装としてはInt64を使わずにdouble64なのかな？
だったら変換が毎回発生せずに済むからいいけど。