Explicit calls to double().

This should take care of the ambiguity reported in #14.