Merge pull request #947 from r-chris/optional-double-precision
authorKim Kulling <kimkulling@users.noreply.github.com>
Sat, 16 Jul 2016 09:15:16 +0000 (11:15 +0200)
committerGitHub <noreply@github.com>
Sat, 16 Jul 2016 09:15:16 +0000 (11:15 +0200)
Optional double precision


Trivial merge