div. fixes, stdlib