Update doubleval.js