Updated specs to fix float asserts, updated libraries