DDRBoxman/crud — pull request #3 by cwc (2013-02-05 19:02:42+00:00)
Title: Use correct type for 64-bit float

Fixes a failing test.