Add builtin abs()
Fix some integer formatting issues