Editor: Number formatting.