Add definition of DBL2NUM for 1.8.7