[Git][cmucl/cmucl][master] 2 commits: Fix #312: Use correct type for message_write_float