def F32.lerp

Base · base.bend:1847

1847# At t = 0 and t = 1 return that endpoint as is, keeping signed zero and never
1848# multiplying the other one (an infinite endpoint would give NaN). Between them
1849# the weighted sum avoids overflowing b - a for finite endpoints of opposite
1850# signs.
1851def F32.lerp(a: F32, b: F32, t: F32) -> F32:
1852  match t:
1853    case F32{+z}:
1854      F32.lerp.zero(a, b, F32{z}, F32.is_eq(F32{z}, 0.0))