double top-level constant Null safety

DoubleCast const double

Implementation

const double = DoubleCast();