chore: more definitions around unpacked float#29

bollu wants to merge 1 commit intomainopencompl/fp-lean:mainfrom

unpacked-rounderopencompl/fp-lean:unpacked-rounderCopy head branch name to clipboard