Update math module so that provided functions satisfy natural casts

That is: `ceil`, `floor`, `trunc` and `round` are now `R -> Z` functions.

`nearbyint`, `lround`, `rint` and `lrint` functions have been removed since they
were redundant.