: int NUM2INT(VALUE x)

