Another source of boxed integers eliminated