@div()

This divides one number by another. It takes two numeric strings
and returns their quotient.  It is illegal to divide by "0".

Usage:
@div( "42", "7" )

The result is "6".