work arround the F3 problem when formatting double numbers.