div. fixes, stdlib enhancements