: double NUM2DBL(VALUE x)

