Double typedef

Double = Number<double>

Implementation

typedef Double = Number<double>;