Double typedef

Double = double

Implementation

typedef Double = double;