Implement jsval_to_domstring.