...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.