double v0.8.1 VerifyingDoubleError exception View Source