Util.g12_scale: def of unified-nsga-iii@0.2.2.0
Import: import unified-nsga-iii@0.2.2.0/util.bend as Util
Lines 251-259 of unified-nsga-iii@0.2.2.0/util.bend: https://jend.leeeet.dev/read.txt?path=unified-nsga-iii@0.2.2.0/util.bend&start_line=251&end_line=259

import Base

# Decision-variable duplicate key: 12 decimal places, round(x*1e12)/1e12.
# C# DecisionKey is double.ToString("G12") (12 significant digits). Those
# are not the same format. Near magnitude 1, F32 ULP is coarser than
# 1e-12, so 12-dp rounding often does nothing. Below about 1e-5 a 12-dp
# bin is wider than the F32 ULP and the round changes the value
# (1.234567e-8 → 1.2346e-8). This tree keeps 12-dp keys. It does not
# match C# G12. See src/g12_key.bend.
def g12_scale() -> F32:
  1000000000000.0

Uses (1):
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=F32