[lowrisc-dev] Re: Floating Point Unit Research Query