add artisanal integer libraries; stub correction page