Added tohexstring() builtin