Add builtin 'divnum'