$double constructor

$double(double $value)

Wrap a double in a $double.

Implementation

$double(super.$value);