Double を CGFloat にしたいなんて、それなんて JavaConverters っていう感じ