Floating point recording