Perform simplification for floor/ceil/round/trunc

- constant folding
- simplify repeated application of integer-valued functions