Merge pull request #43 from tarballs-are-good/patch-2
authorDavid Vázquez <davazp@gmail.com>
Wed, 1 May 2013 01:19:43 +0000 (18:19 -0700)
committerDavid Vázquez <davazp@gmail.com>
Wed, 1 May 2013 01:19:43 +0000 (18:19 -0700)
Make sure READ-FLOAT returns a float.


Trivial merge