float-semiring: whitespace only
float-semiring: move definitions to the header