DOUBLE constructor

const DOUBLE()

Creates a DOUBLE type marker.

Implementation

const DOUBLE();