Float64 typedef

Implementation

typedef Float64 = Double;