i32 != i64 * 0.5
