double top-level constant

DoubleCast const double

Implementation

const double = DoubleCast();