DOUBLE typedef Null safety

DOUBLE = Double

Implementation

typedef DOUBLE = Double;