work with *read-default-float-format* of 'double-float
00271f08c0
work with *read-default-float-format* of 'double-float
47b2d99ac3
- updated dependencies list in readme.
ee57b9066b
- updated documentation.
563b27fb98
- updated NEWS file.
84e2285ee5
- increased version number and changed author name in the ASDF file;
specify single float literal
139034acc9
specify single float literal