32-bit float recorder