Tidying some powers
Integer and fractional part functions
Abs function
Tidying
Multi-arg function semantics