Fix DB recorder floating point errors