Float typedef

Float = double

Implementation

typedef Float = double;