@prefix rdf: <http://www.w3.org/1999/02/22-rdf-syntax-ns#> .
@prefix rdfs: <http://www.w3.org/2000/01/rdf-schema#> .
@prefix xsd: <http://www.w3.org/2001/XMLSchema#> .
@prefix owl: <http://www.w3.org/2002/07/owl#> .
@prefix datatype: <http://qudt.org/vocab/datatype/> .
@prefix dcterms: <http://purl.org/dc/terms/> .
@prefix dtype: <http://www.linkedmodel.org/schema/dtype#> .
@prefix prov: <http://www.w3.org/ns/prov#> .
@prefix qudt: <http://qudt.org/schema/qudt/> .
@prefix vaem: <http://www.linkedmodel.org/schema/vaem#> .

datatype:FLOAT-DP
  a qudt:RealDoublePrecisionType ;
  dcterms:description """
  <p>A double precision floating point datatype. 
  Numbers of this type are stored using 64 bits, they require more memory than numbers of type single, which use 32 bits. 
  However, because they are stored with more bits, numbers of type double are represented to more precision than numbers of type single. 
  The double-precision (or double) data type is represented according to IEEE Standard 754 for double precision. 
  A value is formatted with bit-fields for sign, mantissa and exponent.
  </p>
  """^^rdf:HTML ;
  dtype:code 405 ;
  dtype:literal "double" ;
  prov:wasInfluencedBy <http://dev.mysql.com/doc/refman/5.0/en/floating-point-types.html> ;
  prov:wasInfluencedBy <http://docs.oracle.com/javase/tutorial/java/nutsandbolts/datatypes.html> ;
  prov:wasInfluencedBy <http://en.wikipedia.org/wiki/Floating_point> ;
  prov:wasInfluencedBy <http://en.wikipedia.org/wiki/IEEE_floating_point> ;
  prov:wasInfluencedBy <http://msdn.microsoft.com/en-us/library/aa275635(v=sql.80).aspx> ;
  prov:wasInfluencedBy <http://www.mathworks.com/help/matlab/matlab_prog/floating-point-numbers.html> ;
  qudt:abbreviation "F64" ;
  qudt:ansiSQLName "DOUPLE PRECISION" ;
  qudt:base 2 ;
  qudt:bits 64 ;
  qudt:bytes 8 ;
  qudt:encoding datatype:DoublePrecisionEncoding ;
  qudt:exactMatch datatype:FLOAT_IEEE754-BINARY64 ;
  qudt:id "T006-03" ;
  qudt:javaName "double" ;
  qudt:jsName "double" ;
  qudt:matlabName "double" ;
  qudt:maxExclusive "(1-2^{-53}) \\times 2^{1024}" ;
  qudt:maxExponent 1023 ;
  qudt:maxMantissa 9007199254740991 ;
  qudt:microsoftSQLServerName "float" ;
  qudt:minExclusive "-(1-2^{-53}) \\times 2^{1024}" ;
  qudt:minMantissa -9007199254740991 ;
  qudt:mySQLName "DOUBLE" ;
  qudt:odbcName "SQL_DOUBLE" ;
  qudt:oleDBName "DBTYPE_R8" ;
  qudt:oracleSQLName "FLOAT(49)" ;
  qudt:rdfsDatatype xsd:double ;
  rdfs:isDefinedBy <http://qudt.org/3.2.1/vocab/datatype> ;
  rdfs:label "Double Precision Real" .