...
module
.
It is used relatively rarely so does not warrant being made into a statement.
...
zero
.
This is ugly — the language definition should require truncation towards zero.