min(half(0.5 ^ i32))
