At moment FontMetrics.getAverageCharacterWidth always returns rounded integer values. This leads to poor estimates of text columns (when using scaling) with issues like here: eclipse-platform/eclipse.platform.ui#2836

Expected behavior
FontMetrics.getAverageCharacterWidth should return unrounded values.

Environment:

1. Select the platform(s) on which the behavior is seen:

• • All OS
• • Windows
• • Linux
• • macOS

Eclipse Version tested: 2025-06 (4.36), I20250528-1830