double/redouble added fix #18