Rng.to_unit: def of unified-nsga-iii@0.2.2.0
Import: import unified-nsga-iii@0.2.2.0/rng.bend as Rng
Lines 44-46 of unified-nsga-iii@0.2.2.0/rng.bend: https://jend.leeeet.dev/read.txt?path=unified-nsga-iii@0.2.2.0/rng.bend&start_line=44&end_line=46

import Base

# Top 24 bits / 2^24 so the F32 mantissa is exact and the value is in [0, 1).
def to_unit(u: U32) -> F32:
  F32.div(U32.to_f32(U32.shrn(u, 8n)), 16777216.0)

Uses (5):
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=F32
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=F32.div
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=U32
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=U32.shrn
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=U32.to_f32