`div` is fine, it goes with all the other keyword-ops for integer types. 
Personally I'd rather just shorten `tdiv` to `dv` in the relevant libraries, as 
then it becomes a mnemonic rather than just a stick-out prefixed symbol.

Reply via email to