Add xsd:double

Julien LepillerSun Apr 12 17:20:05+0200 2020

63a95ba

Add xsd:double

rdf/xsd.scm

9393 
    string->number
9494 
    number->string))
9595 
96+
(define-public double
97+
  (make-xsd-datatype
98+
    "double"
99+
    "The double datatype is patterned after the IEEE double-precision 64-bit
100+
floating point datatype.  Each floating point datatype has a value space that
101+
is a subset of the rational numbers."
102+
    string->number
103+
    number?
104+
    string->number
105+
    number->string))
106+
96107 
(define datatypes
97108 
  (list string boolean decimal integer int))
98109