i32 * 0.5 ** 0.5
