div - divide two numbers or vectors (point-wise)
int int div -> int
int double div -> double
array int/double div -> array
9 2 div -> 4
9 3.3 div -> 2.727273
[10 11.5 12] 4 div -> [2 2.875 3]
docu by Sirko Straube
/var/www/debian/nest/nest-simulator-2.20.0/lib/sli/mathematica.sli