Having it as a builtin op would be nice but adding a function defined as `fun abs n = if n < 0 then ~ n else n` would be enough