cl-ieee-floats