Double

A finite double precision IEEE 754 floating point number.

Defining a double valued attribute

define
  attribute latitude value double;
  attribute longitude value double;

insert
  $_ isa latitude 11.373333;
  $_ isa longitude 142.591667;