0.5 ** i32 <= i32
