Fixed a compilation error in double precision mode
Merge pull request #614 from peastman/master

Fixed a compilation error in double precision mode