Verified doubles

As suggested by @yob in #24.