Header updated with float library