Change Int type name to be more C-like and update documentation