Implement division operator
neg and div
Merge remote-tracking branch 'origin/tp3_master' into tp3