Integer syntax is now documented.