floating-point numbers column; editing mechanism rewritten
fixed: header data changes not reflected when column settings changed