Float80あるしFloat64でいいと思うんですよね